The following pages link to (Q4036549):
Displaying 4 items.
- A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
- A compositional semantics for logic programs (Q1314414) (← links)
- Institutions for logic programming (Q1391732) (← links)
- Algebraic methods in the compositional analysis of logic programs (Q5096873) (← links)
