Recurring Dominoes: Making the Highly Undecidable Highly Understandable

This publication has 16 references indexed in Scilit:

• Dynamic Logic
  Published by Springer Nature ,1984
• Propositional dynamic logic of nonregular programs
  Journal of Computer and System Sciences, 1983
• Process logic: Expressiveness, decidability, completeness
  Journal of Computer and System Sciences, 1982
• Propositional dynamic logic of regular programs
  Journal of Computer and System Sciences, 1979
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
  SIAM Journal on Computing, 1977
• The decision problem for standard classes
  The Journal of Symbolic Logic, 1976
• Remarks on Berger's paper on the domino problem
  Siberian Mathematical Journal, 1972
• Turing-machines and the Entscheidungsproblem
  Mathematische Annalen, 1962
• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
  Proceedings of the National Academy of Sciences, 1962
• Correction to A note on the Entscheidungsproblem
  The Journal of Symbolic Logic, 1936