The following pages link to (Q4506395):
Displaying 6 items.
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- Bottom-up abstract interpretation of logic programs (Q1318725) (← links)
- Partial deduction of updateable definite logic programs (Q4289930) (← links)
- Partial deduction in disjunctive logic programming (Q4365083) (← links)
- Conjunctive partial deduction: foundations, control, algorithms, and experiments (Q4939538) (← links)
- Partial deduction for structured logic programming (Q5286918) (← links)