Some Recursively Unsolvable Problems in ALGOL-Like Languages
- 1 January 1963
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 10 (1) , 29-47
- https://doi.org/10.1145/321150.321153
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Two Families of Languages Related to ALGOLJournal of the ACM, 1962
- On certain formal properties of grammarsInformation and Control, 1959
- A variant of a recursively unsolvable problemBulletin of the American Mathematical Society, 1946