Non-deterministic information systems and their domains (Q914401): 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/0304-3975(90)90097-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2014875057
@@ Property / OpenAlex ID: W2014875057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168648
@@ Property / cites work: Q4168648 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential algorithms on concrete data structures
@@ Property / cites work: Sequential algorithms on concrete data structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785893
@@ Property / cites work: Q3785893 / rank @@
+Normal rank
@@ Property / cites work @@
+Event structures and domains
@@ Property / cites work: Event structures and domains / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive domain equations for concrete data structure
+Normal rank
@@ Property / cites work @@
+Separation Axioms for Interval Topologies
@@ Property / cites work: Separation Axioms for Interval Topologies / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized continuous and hypercontinuous lattices
+Normal rank
@@ Property / cites work @@
+Q3812427
@@ Property / cites work: Q3812427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3326830
@@ Property / cites work: Q3326830 / rank @@
+Normal rank
@@ Property / cites work @@
+The Ordering of Spec <i>R</i>
@@ Property / cites work: The Ordering of Spec <i>R</i> / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222242
@@ Property / cites work: Q3222242 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+The largest Cartesian closed category of domains
@@ Property / cites work: The largest Cartesian closed category of domains / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Fixed-point constructions in order-enriched categories
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-Compatible Topologies on a Partially Ordered Set
+Normal rank
@@ Property / Wikidata QID @@
+Q127172330
@@ Property / Wikidata QID: Q127172330 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:914401