Subrecursive program schemata I P II. I: Undecidable equivalence problems. II: Decidable equivalence problems
From MaRDI portal
Publication:2559259
DOI10.1016/S0022-0000(72)80029-1zbMath0257.68026MaRDI QIDQ2559259
Robert L. Constable, Steven S. Muchnick
Publication date: 1972
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Cites Work
- On formalised computer programs
- Symposium on semantics of algorithmic languages
- Translating recursion equations into flow charts
- Unsolvability in 3 × 3 Matrices
- Properties of Programs and the First-Order Predicate Calculus
- On Classes of Program Schemata
- Subrecursive Programming Languages, Part I
- Computability of Recursive Functions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item