Pages that link to "Item:Q3021960"
From MaRDI portal
The following pages link to BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS (Q3021960):
Displaying 6 items.
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Constraint-based correctness proofs for logic program transformations (Q1941873) (← links)
- On Inductive Proofs by Extended Unfold/Fold Transformation Rules (Q3003489) (← links)
- Transformations of logic programs on infinite lists (Q3585155) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
