Pages that link to "Item:Q2956725"
From MaRDI portal
The following pages link to Complementing logic program semantics (Q2956725):
Displayed 4 items.
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)
- The powerset operator on abstract interpretations (Q1960538) (← links)