Tag Systems and Lag Systems.
H. Wang (1963)
Mathematische Annalen
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Turing-Machines and the Entscheidungsproblem.”
Tag Systems and Lag Systems.
Konstruktion nichtrekursiver Funktionen
R. Péter (1935)
Mathematische Annalen
Similarity:
Completeness of Lukasiewicz-Tarski PropositionaICalculi
Alan Rose (1950/51)
Mathematische Annalen
Similarity:
The Theory of Successor with an Extra Predicate.
Wolfgang Thomas (1978)
Mathematische Annalen
Similarity:
Undecidable Problems of Elementary Number Theory.
J.G. Kemeny (1958)
Mathematische Annalen
Similarity:
Computing Degrees of Unsolvability.
H. ROGERS (1959)
Mathematische Annalen
Similarity:
First Order Completeness Theorems.
John J. Wavrik (1973)
Mathematische Annalen
Similarity:
Note on a Paper of Kemeny's.
R.O. Gandy (1958)
Mathematische Annalen
Similarity:
Between Number Theory and Set Theory.
H. Wang (1953)
Mathematische Annalen
Similarity:
A Reduction-Principle for Infinite Formulas.
E. ENGELER (1963)
Mathematische Annalen
Similarity:
A Note on B- and Br-Completeness.
D. van Dulst (1972)
Mathematische Annalen
Similarity:
Some Applications of Gentzens Second Consistency Proof.
B. SCARPELLINI (1969)
Mathematische Annalen
Similarity:
Nested Recursion.
W.W. TAIT (1961)
Mathematische Annalen
Similarity:
The Theory of Proportionality as an Abstraction of Group Theory.
J.B. Büchi, J.B. Wright (1955/56)
Mathematische Annalen
Similarity: