Simplifying the modal mu-calculus alternation hierarchy
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Tree automata, mu-calculus and determinacyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- μ-definable sets of integersThe Journal of Symbolic Logic, 1993
- Results on the propositional μ-calculusTheoretical Computer Science, 1983