- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Science Logic
Satisfiability and Finite Model Property for the Alternating-Time μ-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 references18
- Record: found
- Abstract: not found
- Article: not found
Reasoning about Infinite Computations
M.Y. Vardi, P. Wolper (1994)
- Record: found
- Abstract: not found
- Article: not found
Alternating-time temporal logic
Rajeev Alur, Thomas Henzinger, Orna Kupferman (2002)
- Record: found
- Abstract: not found
- Book: not found
Automata on Infinite Objects and Church’s Problem
Michael L. Rabin (1972)
