Abstract
Marvin L. Minsky. Recursive unsolvability of Post's problem of “Tag” and other topics in the theory of Turing machines. Annals of mathematics, second series, vol. 74 (1961), pp. 437–455. - Volume 31 Issue 4
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have