Pages that link to "Item:Q1272226"
From MaRDI portal
The following pages link to Weak relative pseudo-complements of closure operators (Q1272226):
Displayed 9 items.
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)
- Closures on CPOs form complete lattices (Q1854300) (← links)
- A timed concurrent constraint language. (Q1854359) (← links)
- An abstract interpretation-based model for safety semantics (Q2995468) (← links)
- The lattice of closure operators on a subgroup lattice (Q4567780) (← links)
- Refining and compressing abstract domains (Q4572005) (← links)
- The lattice of algebraic closure operators on an infinite subgroup lattice (Q5156117) (← links)