Monadic second order logic on tree-like structures
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 399-413
- https://doi.org/10.1007/3-540-60922-9_33
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Fixed points vs. infinite generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Tree automata, mu-calculus and determinacyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The monadic second-order logic of graphs IX: Machines and their behavioursTheoretical Computer Science, 1995
- Automata for the modal μ-calculus and related resultsPublished by Springer Nature ,1995
- On logics, tilings, and automataPublished by Springer Nature ,1991
- Automata on Infinite ObjectsPublished by Elsevier ,1990
- Regular expressions for infinite trees and a standard form of automataPublished by Springer Nature ,1985
- State-strategies for games in Fσδ ∩ GδσThe Journal of Symbolic Logic, 1983
- Trees, automata, and gamesPublished by Association for Computing Machinery (ACM) ,1982
- The Monadic Theory of OrderAnnals of Mathematics, 1975