The following pages link to (Q3287296):
Displaying 10 items.
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Selectors: a theory of formal languages, semimodular lattices, and branching and shelling processes (Q1069309) (← links)
- Upper semicontinuity of set-valued functions (Q1170521) (← links)
- Quelques propriétés des ensembles de fermetures sur un ensemble ordonne (Q1220950) (← 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)
- Logical optimality of groundness analysis (Q1605228) (← links)
- Closures on CPOs form complete lattices (Q1854300) (← links)
- Weakening additivity in adjoining closures (Q2520722) (← links)
- Préfermeture sur un ensemble ordonné (Q5676249) (← links)