Subrecursive Program Schemata I & II: I. Undecidable Equivalence Problems; II. Decidable Equivalence Problems

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.

Authors

Robert L. Constable

This author has not been identified. Look up 'Robert L. Constable' in Google

Steven S. Muchnick

This author has not been identified. Look up 'Steven S. Muchnick' in Google