ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
35
views
15
references
Top references
cited by
22
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,264
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
Solving Parity Games in Big Steps
other
Author(s):
Sven Schewe
Publication date
(Print):
2007
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH doi match)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Big Data Privacy
Most cited references
15
Record
: found
Abstract
: not found
Article
: not found
Results on the propositional μ-calculus
Dexter Kozen
(1983)
0
comments
Cited
209
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Infinite games on finitely coloured graphs with applications to automata on infinite trees
Wieslaw Zielonka
(1998)
0
comments
Cited
93
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Deciding the winner in parity games is in UP ∩ co-UP
Marcin Jurdzinski
(1998)
0
comments
Cited
68
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2007
Pages
: 449-460
DOI:
10.1007/978-3-540-77050-3_37
SO-VID:
26115ce8-20d5-4703-ba02-a8f08c115ab6
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 303
Propositional Dynamic Logic for Message-Passing Systems
pp. 179
Probabilistic and Topological Semantics for Timed Automata
pp. 265
Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems
pp. 449
Solving Parity Games in Big Steps
pp. 473
Markov Decision Processes with Multiple Long-Run Average Objectives
Similar content
2,264
A Study in Entire Chromosomes of Violations of the Intra-strand Parity of Complementary Nucleotides (Chargaff's Second Parity Rule)
Authors:
B.R. Powdel
,
Siddhartha Satapathy
,
Aditya Kumar
…
Embracing the tension between national and international human rights law: The case for discordant parity
Authors:
Eyal Benvenisti
,
Alon HAREL
,
Eyal BENVENISTI
Translation-coupled violation of Parity Rule 2 in human genes is not the cause of heterogeneity of the DNA G+C content of third codon position.
Authors:
N SUEOKA
See all similar
Cited by
22
CADP 2011: a toolbox for the construction and analysis of distributed processes
Authors:
Hubert Garavel
,
Frédéric Lang
,
Radu Mateescu
…
Solving Parity Games in Practice
Authors:
Oliver Friedmann
,
Martin Lange
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
Authors:
Sven Schewe
See all cited by