The following pages link to (Q3294260):
Displayed 4 items.
- Transforming semantics by abstract interpretation (Q557807) (← links)
- Quelques propriétés des ensembles de fermetures sur un ensemble ordonne (Q1220950) (← links)
- Weak relative pseudo-complements of closure operators (Q1272226) (← links)
- The reduced relative power operation on abstract domains (Q1285656) (← links)