Termination of simply moded logic programs with dynamic scheduling
From MaRDI portal
Publication:5277705
Recommendations
- scientific article; zbMATH DE number 1692954
- Termination of simply-moded well-typed logic programs under a tabled execution mechanism
- Reasoning in Dynamic Logic about Program Termination
- Logic Programming
- A dynamic approach to characterizing termination of general logic programs
- Termination of logic programs with delay declarations
- Inferring non-suspension conditions for logic programs with dynamic scheduling
- Termination of constraint logic programs
- Proving correctness of constraint logic programs with dynamic scheduling
Cited in
(5)
This page was built for publication: Termination of simply moded logic programs with dynamic scheduling
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5277705)