scientific article; zbMATH DE number 3168728
From MaRDI portal
Publication:3287296
Cited in
(10)- Quelques propriétés des ensembles de fermetures sur un ensemble ordonne
- Weakening additivity in adjoining closures
- Préfermeture sur un ensemble ordonné
- Selectors: a theory of formal languages, semimodular lattices, and branching and shelling processes
- Closures on CPOs form complete lattices
- Closure functions and general iterates as reflectors
- Logical optimality of groundness analysis
- Upper semicontinuity of set-valued functions
- The reduced relative power operation on abstract domains
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3287296)