Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Marvin L. Minsky

Recursive Unsolvability of Post's Problem of "Tag" and Other Topics in Theory of Turing Machines

Annals of Mathematics

English