Pages that link to "Item:Q3988795"
From MaRDI portal
The following pages link to Magic templates: a spellbinding approach to logic programs (Q3988795):
Displaying 12 items.
- Bottom-up evaluation and query optimization of well-founded models (Q673130) (← links)
- Argument reduction by factoring (Q673140) (← links)
- Abstract interpretation: a kind of magic (Q673498) (← links)
- Binding propagation beyond the reach of rule/goal graphs (Q1198073) (← links)
- On universal magic (Q1276517) (← links)
- Bottom-up abstract interpretation of logic programs (Q1318725) (← links)
- Magic sets revisited (Q1368187) (← links)
- State-saving transformations for efficient bottom-up evaluation of logic programs and rule-based systems (Q1370605) (← links)
- Loop checking in SLD-derivations by well-quasi-ordering of goals (Q1575249) (← links)
- Compilation of set terms in the logic data language (LDL) (Q3992237) (← links)
- A simple correctness proof for magic transformation (Q4897705) (← links)
- (Q5309600) (← links)