Backtracking in recursive computations

DOI10.1007/BF00289245zbMath0359.68023MaRDI QIDQ1238623

Amir Pnueli, Boris Klebansky, Nissim Francez

Publication date: 1977

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (2)

Phrase structures, non-determinism and backtracking ⋮ On the fixpoints of nondeterministic recursive definitions

Cites Work

• The correctness of nondeterministic programs
• REF-ARF: A system for solving problems stated as procedures
• A Powerdomain Construction
• Inductive methods for proving properties of programs
• Backtrack Programming
• Nondeterministic Algorithms
• Unnamed Item
• Unnamed Item

This page was built for publication: Backtracking in recursive computations