scientific article; zbMATH DE number 1149425
From MaRDI portal
Publication:4386947
Recommendations
- A methodology for proving termination of logic programs
- scientific article; zbMATH DE number 176506
- Termination proofs for logic programs
- On modular termination proofs of general logic programs
- Proving termination of general Prolog programs
- scientific article; zbMATH DE number 408800
- Automated termination proofs for logic programs by term rewriting
- Program Development in Computational Logic
- Transformational methodology for proving termination of logic programs
Cited in
(12)- A dynamic approach to characterizing termination of general logic programs
- On modular termination proofs of general logic programs
- Reasoning about termination of pure Prolog programs
- Strong termination of logic programs
- Transformational methodology for proving termination of logic programs
- Reasoning in Dynamic Logic about Program Termination
- scientific article; zbMATH DE number 6606377 (Why is no real title available?)
- Termination of logic programs: Transformational methods revisited
- scientific article; zbMATH DE number 1926609 (Why is no real title available?)
- scientific article; zbMATH DE number 176506 (Why is no real title available?)
- A methodology for proving termination of logic programs
- Proving termination of general Prolog programs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4386947)
