Generalised information systems capture L-domains (Q831140): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2531098351
@@ Property / OpenAlex ID: W2531098351 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02260
@@ Property / arXiv ID: 1610.02260 / 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 @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / 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 @@
+Categories of embeddings
@@ Property / cites work: Categories of embeddings / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385538
@@ Property / cites work: Q4385538 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous information systems
@@ Property / cites work: Continuous information systems / rank @@
+Normal rank
@@ Property / cites work @@
+Re-visiting axioms of information systems
@@ Property / cites work: Re-visiting axioms of information systems / 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 @@
+Q3326830
@@ Property / cites work: Q3326830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4981459
@@ Property / cites work: Q4981459 / rank @@
+Normal rank
@@ Property / cites work @@
+Information Systems with Witnesses: The Function Space Construction
+Normal rank
@@ Property / cites work @@
+Information systems revisited -- the general continuous case
+Normal rank
@@ Property / cites work @@
+Q4023580
@@ Property / cites work: Q4023580 / rank @@
+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 / cites work @@
+A representation of L-domains by information systems
+Normal rank
@@ Property / cites work @@
+Disjunctive systems and L-Domains
@@ Property / cites work: Disjunctive systems and L-Domains / rank @@
+Normal rank