Monadic second order logic on tree-like structures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1046, Issue , 1996, Pages 399-413

  Walukiewicz, Igor ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; FORMAL LOGIC; PARTIAL DISCHARGES;

ARBITRARY DEGREE; BASIC FORMULAS; COMPLEMENTATION; FIRST ORDER LOGIC; FIXPOINTS; MONADIC SECOND-ORDER LOGIC; ORIGINAL STRUCTURES; TREE-LIKE STRUCTURES;

COMPUTER CIRCUITS;

EID: 84948148443     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60922-9_33     Document Type: Conference Paper

References (14)

1. δσ. Journal of Symbolic Logic, 48:1171-1198, 1983.
2. B. Courcelle. The monadic second-order logic on graphs IX: machines and behaviours. Theoretical Computer Science, 149, 1995.
3. B. Courcelle and I. Walukiewicz. Monadic second-order logic, graphs and unfold-ines of transition systems. University of Aarhus BRICS report RS-95-44. Presented at CSL'95.
4. E. Emerson and C. Jutla. Tree automata, mu-calculus and determinacy. In Proc. FOCS 91, 1991.
5. Y. Gurevich and L. Harrington. Trees, automata and games. In 14-th Symp. on Theory of Computations, ACM, pages 60-65, 1982.
6. D. Janin and I. Walukiewicz. Automata for the μ-calculus and related results. In MFCS'95, volume 969 of LNCS, pages 552-562, 1995.
7. A. W. Mostowski. Regular expressions for infinite trees and a standard form of automata. In A. Skowron, editor, Fifth Symposium on Computation Theory, volume 208 of LNCS, pages 157-168, 1984.
8. A. W. Mostowski. Games with forbidden positions. Technical Report 78, University of Gdansk, 1991.
9. D. Niwiński. Fixed points vs. infinite generation. In Proc. 3rd. IEEE LICS, pages 402-409, 1988.
10. M. Rabin. Decidability of second-order theories and automata on infinite trees. Trans. Amer. Math. Soc., 141:1-35, 1969.
11. A. Semenov. Decidability of monadic theories. In MFCS'84, volume 176 of LNCS, pages 162-175. Springer-Verlag, 1984.
12. S. Shelah. The monadic second order theory of order. Annals of Mathematics, 102:379-419, 1975.
13. W. Thomas. Automata on infinite objects. In J. Leeuven, editor, Handbook of Theoretical Computer Science Vol.B, pages 995-1072. Elesvier, 1990.
14. W. Thomas. On logics, tilings, and automata. In ICALP '91, volume 510 of LNCS, pages 441-454, 1991.