Continuous L-domains in logical form (Q2041961): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2021.102993
@@ Property / DOI: 10.1016/j.apal.2021.102993 / rank @@
-Normal rank
@@ Property / author @@
-Qing-Guo Li
@@ Property / author: Qing-Guo Li / rank @@
-Normal rank
@@ Property / author @@
-Xiang-Nan Zhou
@@ Property / author: Xiang-Nan Zhou / rank @@
-Normal rank
@@ Property / author @@
+Qing-Guo Li
@@ Property / author: Qing-Guo Li / rank @@
+Normal rank
@@ Property / author @@
+Xiang-Nan Zhou
@@ Property / author: Xiang-Nan Zhou / 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.apal.2021.102993
+Normal rank
@@ Property / OpenAlex ID @@
+W3164763232
@@ Property / OpenAlex ID: W3164763232 / 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 @@
+Category Theory
@@ Property / cites work: Category Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Toward an infinitary logic of domains: Abramsky logic for transition systems
+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 @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Hausdorff Topology and Domain Theory
@@ Property / cites work: Non-Hausdorff Topology and Domain Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3812427
@@ Property / cites work: Q3812427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265614
@@ Property / cites work: Q4265614 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Domain Theory in Logical Form
@@ Property / cites work: Continuous Domain Theory in Logical Form / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous domains in logical form
@@ Property / cites work: Continuous domains in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal logic and logic programming in algebraic domains
+Normal rank
@@ Property / cites work @@
+Entailment systems for stably locally compact locales
+Normal rank
@@ Property / cites work @@
+A representation of proper BC domains based on conjunctive sequent calculi
+Normal rank
@@ Property / cites work @@
+A logic for Lawson compact algebraic L-domains
@@ Property / cites work: A logic for Lawson compact algebraic L-domains / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2021.102993
@@ Property / DOI: 10.1016/J.APAL.2021.102993 / rank @@
+Normal rank