Turing-machines and the Entscheidungsproblem
- 1 June 1962
- journal article
- research article
- Published by Springer Nature in Mathematische Annalen
- Vol. 148 (3) , 201-213
- https://doi.org/10.1007/bf01470748
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Proving Theorems by Pattern Recognition - IIBell System Technical Journal, 1961
- A note on the EntscheidungsproblemThe Journal of Symbolic Logic, 1936