Pages that link to "Item:Q1205176"
From MaRDI portal
The following pages link to Compositional model-theoretic semantics for logic programs (Q1205176):
Displaying 6 items.
- Fully abstract compositional semantics for an algebra of logic programs (Q672703) (← links)
- Compositional model-theoretic semantics for logic programs (Q1205176) (← links)
- A semantics for modular general logic programs (Q1274967) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- A refinement of import/export declarations in modular logic programming and its semantics (Q5096751) (← links)
- An abductive framework for extended logic programming (Q5101460) (← links)
