Quantificational variants on the halting problem for turing machines
- 1 January 1969
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 15 (13-15) , 211-218
- https://doi.org/10.1002/malq.19690151302
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- The undecidability of the Turing machine immortality problemThe Journal of Symbolic Logic, 1966
- On Formalisms for Turing MachinesJournal of the ACM, 1965
- Turing-machines and the EntscheidungsproblemMathematische Annalen, 1962
- Computing degrees of unsolvabilityMathematische Annalen, 1959
- On Computable Numbers, with an Application to the EntscheidungsproblemProceedings of the London Mathematical Society, 1937