Pages that link to "Item:Q3087808"
From MaRDI portal
The following pages link to <tt>Polytool</tt>: Polynomial interpretations as a basis for termination analysis of logic programs (Q3087808):
Displaying 7 items.
- Constraint-based correctness proofs for logic program transformations (Q1941873) (← links)
- Analyzing program termination and complexity automatically with \textsf{AProVE} (Q2362493) (← links)
- Dependency Triples for Improving Termination Analysis of Logic Programs with Cut (Q3003493) (← links)
- Non-termination analysis of logic programs with integer arithmetics (Q3087440) (← links)
- Maximal Termination (Q3522012) (← links)
- Logic + control: On program construction and verification (Q4603427) (← links)
- Correctness and Completeness of Logic Programs (Q5277919) (← links)