Representation of FS-domains based on closure spaces (Q2130617): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2019.07.029
@@ Property / DOI: 10.1016/j.entcs.2019.07.029 / rank @@
-Normal rank
@@ Property / author @@
-Qing-Guo Li
@@ Property / author: Qing-Guo Li / rank @@
-Normal rank
@@ Property / author @@
+Qing-Guo Li
@@ Property / author: Qing-Guo Li / 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.2019.07.029
+Normal rank
@@ Property / OpenAlex ID @@
+W2971589770
@@ Property / OpenAlex ID: W2971589770 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317435
@@ Property / Wikidata QID: Q113317435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997287
@@ Property / cites work: Q3997287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Meet-distributive lattices and the anti-exchange closure
+Normal rank
@@ Property / cites work @@
+Q3222241
@@ Property / cites work: Q3222241 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+The categorical equivalence between algebraic domains and F-augmented closure spaces.
+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 / DOI @@
+.1016/J.ENTCS.2019.07.029
@@ Property / DOI: 10.1016/J.ENTCS.2019.07.029 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2130617