Fixed-point constructions in order-enriched categories (Q1255084): 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(79)90053-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2080801189
@@ Property / OpenAlex ID: W2080801189 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational languages
@@ Property / cites work: Equational languages / rank @@
+Normal rank
@@ Property / cites work @@
+The minimalization of tree automata
@@ Property / cites work: The minimalization of tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Kan extensions in enriched category theory
@@ Property / cites work: Kan extensions in enriched category theory / 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 @@
+Q5656910
@@ Property / cites work: Q5656910 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint approach to the theory of computation
@@ Property / cites work: Fixpoint approach to the theory of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of chain-complete posets
@@ Property / cites work: Categories of chain-complete posets / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Pair grammars, graph languages and string-to-graph translations
+Normal rank
@@ Property / cites work @@
+Q4072829
@@ Property / cites work: Q4072829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized sequential machine maps
@@ Property / cites work: Generalized sequential machine maps / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Q4404457
@@ Property / cites work: Q4404457 / rank @@
+Normal rank