Backtracking in recursive computations
- 1 January 1977
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 8 (2) , 125-144
- https://doi.org/10.1007/bf00289245
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A model and stack implementation of multiple environmentsCommunications of the ACM, 1973
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- On the Properties and Applications of Program SchemasPublished by Defense Technical Information Center (DTIC) ,1973
- Recursive definitions of partial functions and their computationsPublished by Association for Computing Machinery (ACM) ,1972
- An implementation of backtracking for programming languagesPublished by Association for Computing Machinery (ACM) ,1972
- REF-ARF: A system for solving problems stated as proceduresArtificial Intelligence, 1970
- The correctness of nondeterministic programsArtificial Intelligence, 1970
- Nondeterministic AlgorithmsJournal of the ACM, 1967
- Backtrack ProgrammingJournal of the ACM, 1965