Pages that link to "Item:Q1274454"
From MaRDI portal
The following pages link to Compositionality properties of SLD-derivations (Q1274454):
Displaying 5 items.
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)
- An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. (Q1853617) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- On the verification of finite failure (Q2575838) (← links)
