- Record: found
- Abstract: found
- Book Chapter: found
Tools and Algorithms for the Construction and Analysis of Systems
Permutation Games for the Weakly Aconjunctive \(\mu \)μ-Calculus
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 references14
- Record: found
- Abstract: not found
- Article: not found
Results on the propositional μ-calculus
Dexter Kozen (1983)
- Record: found
- Abstract: not found
- Article: not found
Games for the μ-calculus
Igor Walukiewicz, Damian Niwinski (1996)
- Record: found
- Abstract: not found
- Article: not found
The Complexity of Tree Automata and Logics of Programs
E. Allen Emerson, Charanjit Jutla (1999)