The following pages link to (Q5829077):
Displayed 6 items.
- Transforming semantics by abstract interpretation (Q557807) (← links)
- On closure operators (Q771402) (← links)
- Weak relative pseudo-complements of closure operators (Q1272226) (← links)
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements (Q1275821) (← links)
- Weakening additivity in adjoining closures (Q2520722) (← links)
- The lattice of closure operators on a subgroup lattice (Q4567780) (← links)