Composition is almost (but not quite) as good as \(s-1-1\)
From MaRDI portal
Publication:1314366
DOI10.1016/0304-3975(93)90286-3zbMath0834.68003OpenAlexW2095539596MaRDI QIDQ1314366
Publication date: 18 March 1996
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(93)90286-3
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A connotational theory of program structure
- The independence of control structures in abstract programming systems
- Remarks on recursion versus diagonalization and exponentially difficult problems
- A note on natural complete sets and Goedel numberings
- The Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions
- Gödel numberings of partial recursive functions
- Simple Gödel Numberings, Isomorphisms, and Programming Properties
- On Simple Goedel Numberings and Translations
This page was built for publication: Composition is almost (but not quite) as good as \(s-1-1\)