Presenting Dcpos and Dcpo Algebras (Q5415639): Difference between revisions

@@ 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.2008.10.013
+Normal rank
@@ Property / OpenAlex ID @@
+W1990034831
@@ Property / OpenAlex ID: W1990034831 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales, observational logic and process semantics
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907039
@@ Property / cites work: Q3907039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711309
@@ Property / cites work: Q3711309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978977
@@ Property / cites work: Q3978977 / rank @@
+Normal rank
@@ Property / cites work @@
+A Technique for Verifying Measurements
@@ Property / cites work: A Technique for Verifying Measurements / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851544
@@ Property / cites work: Q2851544 / rank @@
+Normal rank
@@ Property / cites work @@
+Compactness in locales and in formal topology
@@ Property / cites work: Compactness in locales and in formal topology / rank @@
+Normal rank
@@ Property / cites work @@
+A universal characterization of the double powerlocale
+Normal rank
@@ Property / cites work @@
+Q3949664
@@ Property / cites work: Q3949664 / rank @@
+Normal rank