On formalisms for turing machines

Publisher Website

1 November 1964

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 68-75
https://doi.org/10.1109/swct.1964.16

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines
Annals of Mathematics, 1961
Recursive Unsolvability of a problem of Thue
The Journal of Symbolic Logic, 1947
On Computable Numbers, with an Application to the Entscheidungsproblem
Proceedings of the London Mathematical Society, 1937