Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains (Q1744465): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2017.08.012
@@ Property / DOI: 10.1016/j.entcs.2017.08.012 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2017.08.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2758194307
@@ Property / OpenAlex ID: W2758194307 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317581
@@ Property / Wikidata QID: Q113317581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+An upper power domain construction in terms of strongly compact sets
+Normal rank
@@ Property / cites work @@
+Characterising FS domains by means of power domains
+Normal rank
@@ Property / cites work @@
+Power domain constructions
@@ Property / cites work: Power domain constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Power domains and second-order predicates
@@ Property / cites work: Power domains and second-order predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Linear types and approximation
@@ Property / cites work: Linear types and approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Convex power domain and Vietoris space
@@ Property / cites work: Convex power domain and Vietoris space / rank @@
+Normal rank
@@ Property / cites work @@
+Q3109350
@@ Property / cites work: Q3109350 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818365
@@ Property / cites work: Q3818365 / rank @@
+Normal rank
@@ Property / cites work @@
+Topology, domain theory and theoretical computer science
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195918
@@ Property / cites work: Q4195918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316563
@@ Property / cites work: Q3316563 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent Smyth powerdomains.
@@ Property / cites work: Consistent Smyth powerdomains. / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2017.08.012
@@ Property / DOI: 10.1016/J.ENTCS.2017.08.012 / rank @@
+Normal rank