Pages that link to "Item:Q5712537"
From MaRDI portal
The following pages link to Program Development in Computational Logic (Q5712537):
Displaying 9 items.
- Transforming normal logic programs to constraint logic programs (Q1200979) (← links)
- Transforming constraint logic programs (Q1274969) (← links)
- Removing algebraic data types from constrained Horn clauses using difference predicates (Q2096439) (← links)
- On Inductive Proofs by Extended Unfold/Fold Transformation Rules (Q3003489) (← links)
- A Transformational Approach for Proving Properties of the CHR Constraint Store (Q3558283) (← links)
- On Negative Unfolding in the Answer Set Semantics (Q3617437) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Q5504662) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)