The following pages link to (Q3786036):
Displaying 9 items.
- Argument reduction by factoring (Q673140) (← links)
- Efficient bottom-up execution of logic programs using abstract interpretation (Q689638) (← links)
- A counting algorithm for a cyclic binary query (Q1176288) (← links)
- Characterization and processing of simple prefixed-chain recursion (Q1208145) (← links)
- A transformation system for deductive database modules with perfect model semantics (Q1208734) (← links)
- Recursive query processing: The power of logic (Q1262144) (← links)
- A relational approach to logic programming: The extended Alexander method (Q1263276) (← links)
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- One-sided recursions (Q2638765) (← links)