Axiomatizations of backtracking
From MaRDI portal
Publication:5096771
Recommendations
Cites work
- scientific article; zbMATH DE number 4078852 (Why is no real title available?)
- scientific article; zbMATH DE number 19144 (Why is no real title available?)
- Denotational and operational semantics for prolog
- Operational and denotational semantics of prolog
- Simple operational and denotational semantics for Prolog with cut
Cited in
(6)- Relating models of backtracking
- Toward the concept of backtracking computation
- A denotational semantics and dataflow construction for logic programs
- scientific article; zbMATH DE number 598180 (Why is no real title available?)
- Computational complexity of terminological reasoning in BACK
- Intelligent backtracking in \(\text{CLP}(\Re)\)
This page was built for publication: Axiomatizations of backtracking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096771)