Tree constructions of free continuous algebras (Q1160149): 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/0022-0000(82)90059-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2028881473
@@ Property / OpenAlex ID: W2028881473 / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of free continuous algebras
@@ Property / cites work: Construction of free continuous algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4134935
@@ Property / cites work: Q4134935 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform approach to inductive posets and inductive closure
+Normal rank
@@ Property / cites work @@
+Q3049836
@@ Property / cites work: Q3049836 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923575
@@ Property / cites work: Q3923575 / rank @@
+Normal rank
@@ Property / cites work @@
+Completions of Partially Ordered Sets
@@ Property / cites work: Completions of Partially Ordered Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of ordered algebras
@@ Property / cites work: Varieties of ordered algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4191573
@@ Property / cites work: Q4191573 / rank @@
+Normal rank
@@ Property / cites work @@
+Chain-complete posets and directed sets with applications
+Normal rank
@@ Property / cites work @@
+Categories of chain-complete posets
@@ Property / cites work: Categories of chain-complete posets / rank @@
+Normal rank
@@ Property / cites work @@
+Bases for Chain-complete Posets
@@ Property / cites work: Bases for Chain-complete Posets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145866
@@ Property / cites work: Q4145866 / rank @@
+Normal rank
@@ Property / cites work @@
+A compactification of the algebra of terms
@@ Property / cites work: A compactification of the algebra of terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3955416
@@ Property / cites work: Q3955416 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of the Domain of Flow Diagrams
@@ Property / cites work: Semantics of the Domain of Flow Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636307
@@ Property / cites work: Q5636307 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766044
@@ Property / cites work: Q4766044 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Q4181303
@@ Property / cites work: Q4181303 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point constructions in order-enriched categories
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jcss/AdamekNR82
@@ Property / DBLP publication ID: journals/jcss/AdamekNR82 / rank @@
+Normal rank