A set-theoretic representation of algebraic L-domains (Q6111975): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-031-20350-3_30
+Normal rank
@@ Property / OpenAlex ID @@
+W4313349798
@@ Property / OpenAlex ID: W4313349798 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Stone duality and representation of stable domain
@@ Property / cites work: Stone duality and representation of stable domain / rank @@
+Normal rank
@@ Property / cites work @@
+A logical approach to stable domains
@@ Property / cites work: A logical approach to stable domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230685
@@ Property / cites work: Q4230685 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains
+Normal rank
@@ Property / cites work @@
+Q3997287
@@ Property / cites work: Q3997287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Information systems revisited -- the general continuous case
+Normal rank
@@ Property / cites work @@
+Generalised information systems capture L-domains
@@ Property / cites work: Generalised information systems capture L-domains / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of stably continuous semi-lattices by information systems and abstract bases
+Normal rank
@@ Property / cites work @@
+Information systems for continuous semi-lattices
@@ Property / cites work: Information systems for continuous semi-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A representation of L-domains by information systems
+Normal rank
@@ Property / cites work @@
+New representations of algebraic domains and algebraic L-domains via closure systems
+Normal rank
@@ Property / cites work @@
+Q4325268
@@ Property / cites work: Q4325268 / rank @@
+Normal rank