Robert L. Constable, Steven S. Muchnick. Subrecursive Program Schemata I & II: I. Undecidable Equivalence Problems; II. Decidable Equivalence Problems. In Conference Record, Fourth Annual ACM Symposium on Theory of Computing, 1-3 May 1972, Denver, Colorado, USA. pages 1-17, ACM, 1972.
@inproceedings{ConstableM72,
title = {Subrecursive Program Schemata I & II: I. Undecidable Equivalence Problems; II. Decidable Equivalence Problems},
author = {Robert L. Constable and Steven S. Muchnick},
year = {1972},
researchr = {https://researchr.org/publication/ConstableM72},
cites = {0},
citedby = {0},
pages = {1-17},
booktitle = {Conference Record, Fourth Annual ACM Symposium on Theory of Computing, 1-3 May 1972, Denver, Colorado, USA},
publisher = {ACM},
}