Pages that link to "Item:Q1275821"
From MaRDI portal
The following pages link to Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821):
Displaying 7 items.
- Maximal incompleteness as obfuscation potency (Q511013) (← links)
- Abstract interpretation of resolution-based semantics (Q1035705) (← links)
- Closures on CPOs form complete lattices (Q1854300) (← links)
- Weakening additivity in adjoining closures (Q2520722) (← links)
- Transforming Abstract Interpretations by Abstract Interpretation (Q3522058) (← links)
- Abstract domains for reordering CLP(RLin) programs (Q4943436) (← links)
- Making abstract models complete (Q5741575) (← links)