Pages that link to "Item:Q1208734"
From MaRDI portal
The following pages link to A transformation system for deductive database modules with perfect model semantics (Q1208734):
Displayed 11 items.
- Transformations of CLP modules (Q671648) (← links)
- A semantics for modular general logic programs (Q1274967) (← links)
- Transforming constraint logic programs (Q1274969) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Constraint-based correctness proofs for logic program transformations (Q1941873) (← links)
- BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS (Q3021960) (← links)
- Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)
- (Q4499254) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Q5504662) (← links)