\(\mathbb T^\omega\) as a stable universal domain. (Q276416): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2014.01.016
@@ Property / DOI: 10.1016/j.entcs.2014.01.016 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q113317906
@@ Property / Wikidata QID: Q113317906 / 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.2014.01.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2016969862
@@ Property / OpenAlex ID: W2016969862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282566
@@ Property / cites work: Q4282566 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160405
@@ Property / cites work: Q4160405 / 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 @@
+Universal domains and the amalgamation property
@@ Property / cites work: Universal domains and the amalgamation property / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential algorithms and strongly stable functions
+Normal rank
@@ Property / cites work @@
+\(\mathbb{T}^\omega\) as a universal domain
@@ Property / cites work: \(\mathbb{T}^\omega\) as a universal domain / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to stable domains
@@ Property / cites work: An algebraic approach to stable domains / rank @@
+Normal rank
@@ Property / cites work @@
+The largest cartesian closed category of stable domains
+Normal rank
@@ Property / cites work @@
+\(dI\)--domains as prime information systems
@@ Property / cites work: \(dI\)--domains as prime information systems / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2014.01.016
@@ Property / DOI: 10.1016/J.ENTCS.2014.01.016 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:276416