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

Robert L. Constable, Steven S. Muchnick

Browse the full STOC paper archive.