On infinite transition graphs having a decidable monadic theory

This publication has 10 references indexed in Scilit:

• Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems
  BRICS Report Series, 1995
• Monadic second-order definable graph transductions: a survey
  Theoretical Computer Science, 1994
• The structure of the models of decidable monadic theories of graphs
  Annals of Pure and Applied Logic, 1991
• Graph Rewriting: An Algebraic and Logic Approach
  Published by Elsevier ,1990
• Automata on Infinite Objects
  Published by Elsevier ,1990
• The theory of ends, pushdown automata, and second-order logic
  Theoretical Computer Science, 1985
• Langages algébriques et systèmes de réécriture rationnels
  RAIRO. Informatique théorique, 1982
• Transductions and Context-Free Languages
  Published by Springer Nature ,1979
• The Monadic Theory of Order
  Annals of Mathematics, 1975
• Regular canonical systems
  Archive for Mathematical Logic, 1964