Dominoes and the Aea Case of the Decision Problem

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 218-245
https://doi.org/10.1007/978-94-009-2356-0_11

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Turing-machines and the Entscheidungsproblem
Mathematische Annalen, 1962
ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
Proceedings of the National Academy of Sciences, 1962
Classification of $AEA$ formulas by letter atoms
Bulletin of the American Mathematical Society, 1962
Proving Theorems by Pattern Recognition - II
Bell System Technical Journal, 1961
On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
Proceedings of the London Mathematical Society, 1938
On Computable Numbers, with an Application to the Entscheidungsproblem
Proceedings of the London Mathematical Society, 1937