The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines
- 1 July 1968
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 15 (3), 409-413
- https://doi.org/10.1145/321466.321473