Pages that link to "Item:Q1274969"
From MaRDI portal
The following pages link to Transforming constraint logic programs (Q1274969):
Displaying 13 items.
- Constraint logic programming with a relational machine (Q511023) (← links)
- Transformations of CLP modules (Q671648) (← links)
- Transforming normal logic programs to constraint logic programs (Q1200979) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Constraint-based correctness proofs for logic program transformations (Q1941873) (← links)
- A Transformational Approach for Proving Properties of the CHR Constraint Store (Q3558283) (← links)
- (Q4499254) (← links)
- Building PMCFG Parsers as Datalog Program Transformations (Q4981264) (← links)
- (Q5146180) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Q5504662) (← links)
- Program Development in Computational Logic (Q5712537) (← links)
- Transformations of logic programs (Q5930885) (← links)