Pages that link to "Item:Q1200980"
From MaRDI portal
The following pages link to Equivalence-preserving first-order unfold/fold transformation systems (Q1200980):
Displaying 7 items.
- Transformations of CLP modules (Q671648) (← links)
- Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006) (← links)
- A semantics for modular general logic programs (Q1274967) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification (Q2629858) (← links)
- BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS (Q3021960) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
