- Record: found
- Abstract: not found
- Book Chapter: not found
Mathematical Foundations of Computer Science 2014
Determinising Parity Automata
other
Read this book at
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
Most cited references8
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Exponential determinization for ω-automata with strong-fairness acceptance condition (extended abstract)
Shmuel Safra (1992)
- Record: found
- Abstract: not found
- Book Chapter: not found
The Büchi Complementation Saga
Moshe Vardi (2007)
- Record: found
- Abstract: not found
- Book Chapter: not found
Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus
Sven Schewe, Bernd Finkbeiner (2006)