The following pages link to (Q3725521):
Displayed 18 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Fully abstract compositional semantics for an algebra of logic programs (Q672703) (← links)
- Logical query optimization by proof-tree transformation (Q686647) (← links)
- Protected completions of first-order general logic programs (Q911800) (← links)
- Preservation of stronger equivalence in unfold/fold logic program transformation (Q915479) (← links)
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- Generalized subsumption and its applications to induction and redundancy (Q1110345) (← links)
- Unfold/fold transformation of stratified programs (Q1177929) (← links)
- Equivalence-preserving first-order unfold/fold transformation systems (Q1200980) (← links)
- A transformation system for deductive database modules with perfect model semantics (Q1208734) (← links)
- A semantics for modular general logic programs (Q1274967) (← links)
- Transforming constraint logic programs (Q1274969) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)
- A compositional semantics for logic programs (Q1314414) (← links)
- Program development schemata as derived rules (Q1583853) (← links)
- One-sided recursions (Q2638765) (← links)
- Deciding the Bisimilarity Relation between Datalog Goals (Q2915060) (← links)
- Inductive logic programming (Q5895240) (← links)