Pages that link to "Item:Q5286919"
From MaRDI portal
The following pages link to The loop absorption and the generalization strategies for the development of logic programs and partial deduction (Q5286919):
Displaying 6 items.
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087) (← links)
- Unfold/fold transformations for disjunctive logic programs (Q287026) (← links)
- Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006) (← links)
- Things to know when implementing KBO (Q861708) (← links)
- Linearisability on Datalog programs (Q1884881) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
