Closures on CPOs form complete lattices (Q1854300): Difference between revisions

@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+On locales of localizations
@@ Property / cites work: On locales of localizations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3968981
@@ Property / cites work: Q3968981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Properly injective spaces and function spaces
@@ Property / cites work: Properly injective spaces and function spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint logic programming with dynamic scheduling: A semantics based on closure operators
+Normal rank
@@ Property / cites work @@
+Closure functions and general iterates as reflectors
+Normal rank
@@ Property / cites work @@
+Weak relative pseudo-complements of closure operators
+Normal rank
@@ Property / cites work @@
+Optimal domains for disjunctive abstract interpretation
+Normal rank
@@ Property / cites work @@
+Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice of closure relations on a poset
@@ Property / cites work: The lattice of closure relations on a poset / rank @@
+Normal rank
@@ Property / cites work @@
+Q3287296
@@ Property / cites work: Q3287296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664406
@@ Property / cites work: Q3664406 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175259
@@ Property / cites work: Q4175259 / rank @@
+Normal rank
@@ Property / cites work @@
+The closure operators of a lattice
@@ Property / cites work: The closure operators of a lattice / rank @@
+Normal rank