3 results
Michael Anderson. Note on the mortality problem for shift state trees. Notre Dame journal of formal logic, vol. 10 no. 3 (1969), pp. 275–276.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 151
- Print publication:
- March 1971
-
- Article
- Export citation
Michael Anderson. Approximation to a decision procedure for the halting problem. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 305–312.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 480
- Print publication:
- September 1970
-
- Article
- Export citation
The undecidability of the Turing machine immortality problem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-234
- Print publication:
- June 1966
-
- Article
- Export citation