Fixpoint Alternation and the Game Quantifier
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 350-361
- https://doi.org/10.1007/3-540-48168-0_25
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Tree automata, mu-calculus and determinacyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The modal mu-calculus alternation hierarchy is strictTheoretical Computer Science, 1998
- Fine hierarchy of regular ω-languagesTheoretical Computer Science, 1998
- Fixed point characterization of infinite behavior of finite-state systemsTheoretical Computer Science, 1997
- μ-definable sets of integersThe Journal of Symbolic Logic, 1993
- An “Ehrenfeucht-Fraïssé game” for fixpoint logic and stratified fixpoint logicLecture Notes in Computer Science, 1993