Algorithmic Procedures, Generalized Turing Algorithms, and Elementary Recursion Theory
- 1 January 1985
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Computation Over Abstract Structures: Serial and Parallel Procedures and Friedman's Effective Definitional SchemesPublished by Elsevier ,1975
- Translatability of schemas over restricted interpretationsJournal of Computer and System Sciences, 1974
- Program schemes, recursion schemes, and formal languagesJournal of Computer and System Sciences, 1973
- Program Schemes with Pushdown StoresSIAM Journal on Computing, 1972
- On Classes of Program SchemataSIAM Journal on Computing, 1972
- Program schemas with equalityPublished by Association for Computing Machinery (ACM) ,1972
- Translating recursion equations into flow chartsJournal of Computer and System Sciences, 1971
- On formalised computer programsJournal of Computer and System Sciences, 1970
- Abstract first order computability. IITransactions of the American Mathematical Society, 1969
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960