Toward the concept of backtracking computation

MaRDI QIDQ2848128zbMATH OpenFDO

Authors Marija Kulaš

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002070

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Relating models of backtracking
• A mathematical definition of full Prolog
• Axiomatizations of backtracking
• Backtrack Programming with SIMULA
• scientific article; zbMATH DE number 3967899

Cited in

(12)

• Computational complexity of terminological reasoning in BACK
• Forward checking and intelligent backtracking
• Backing backtracking
• Finding recurrent sets with backward analysis and trace partitioning
• scientific article; zbMATH DE number 1324644 (Why is no real title available?)
• scientific article; zbMATH DE number 1324645 (Why is no real title available?)
• scientific article; zbMATH DE number 1860736 (Why is no real title available?)
• A Theory for Backtrack-Downweighted Walks
• Axiomatizations of backtracking
• Relating models of backtracking
• Backtracking-assisted multiplication
• An exercise in transformational programming: Backtracking and Branch-and- Bound

This page was built for publication: Toward the concept of backtracking computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848128)