Extending Algebraic Operations to D-Completions (Q2805153): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2009.07.086
@@ Property / DOI: 10.1016/j.entcs.2009.07.086 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.07.086
+Normal rank
@@ Property / OpenAlex ID @@
+W2080985808
@@ Property / OpenAlex ID: W2080985808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Compactly generated domain theory
@@ Property / cites work: Compactly generated domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976464
@@ Property / cites work: Q3976464 / rank @@
+Normal rank
@@ Property / cites work @@
+The bounded-complete hull of an \(\alpha\)-space
@@ Property / cites work: The bounded-complete hull of an \(\alpha\)-space / rank @@
+Normal rank
@@ Property / cites work @@
+The validity of equations of complex algebras
@@ Property / cites work: The validity of equations of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Identities for globals (complex algebras) of algebras
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Presenting Dcpos and Dcpo Algebras
@@ Property / cites work: Presenting Dcpos and Dcpo Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+\(T_ 0\)-spaces and pointwise convergence
@@ Property / cites work: \(T_ 0\)-spaces and pointwise convergence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4500940
@@ Property / cites work: Q4500940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4868226
@@ Property / cites work: Q4868226 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2009.07.086
@@ Property / DOI: 10.1016/J.ENTCS.2009.07.086 / rank @@
+Normal rank