M | |
---|---|
[Min61] | Marvin L. Minsky.
Recursive Unsolvability of Post's Problem of
"Tag" and other Topics in Theory of Turing
Machines.
Annals of Mathematics 74(3):437-455. Princeton University Press, November 1961.
|
Search
Displayed 1 resultList of authors
- 1