Recursion Structure Simplification
- 1 September 1975
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 4 (3), 307-320
- https://doi.org/10.1137/0204025
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Characterizations of flowchartable recursionsJournal of Computer and System Sciences, 1973
- On Classes of Program SchemataSIAM Journal on Computing, 1972
- Reducibility among Combinatorial ProblemsPublished by Springer Nature ,1972
- Translating recursion equations into flow chartsJournal of Computer and System Sciences, 1971
- Formalization of Properties of Functional ProgramsJournal of the ACM, 1970
- Recursive Unsolvability of a problem of ThueThe Journal of Symbolic Logic, 1947