The following pages link to (Q5688899):
Displaying 6 items.
- Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
- A compositional semantics for logic programs (Q1314414) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Institutions for logic programming (Q1391732) (← links)
- An assumption-based truth maintenance system dealing with non-ground justifications (Q4880539) (← links)
- Algebraic methods in the compositional analysis of logic programs (Q5096873) (← links)
