Classes of terminating logic programs
From MaRDI portal
Publication:4452620
Recommendations
Cited in
(9)- On logic programs that always succeed.
- \(\exists\)-Universal termination of logic programs
- Termination of floating-point computations
- scientific article; zbMATH DE number 4191092 (Why is no real title available?)
- Logic + control: on program construction and verification
- Program Development in Computational Logic
- Making assumptions in the automated derivation
- Terminating evaluation of logic programs with finite three-valued models
- Contextual hypotheses and semantics of logic programs
This page was built for publication: Classes of terminating logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452620)