On logics, tilings, and automata

This publication has 14 references indexed in Scilit:

• The structure of the models of decidable monadic theories of graphs
  Annals of Pure and Applied Logic, 1991
• Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness
  Journal of the ACM, 1986
• The theory of ends, pushdown automata, and second-order logic
  Theoretical Computer Science, 1985
• Fundamental properties of infinite trees
  Theoretical Computer Science, 1983
• On Local and Non-Local Properties
  Published by Elsevier ,1982
• Parallel and two-way automata on directed ordered acyclic graphs
  Information and Control, 1981
• The Monadic Theory of Order
  Annals of Mathematics, 1975
• Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie II
  Mathematical Logic Quarterly, 1972
• Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
  The Journal of Symbolic Logic, 1966
• Decision problems of finite automata design and related arithmetics
  Transactions of the American Mathematical Society, 1961