Equational properties of iteration in algebraically complete categories (Q1128480): Difference between revisions

@@ Property / author @@
-Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
-Normal rank
@@ Property / author @@
-Anna Labella
@@ Property / author: Anna Labella / rank @@
-Normal rank
@@ Property / author @@
+Zoltán Ésik
@@ Property / author: Zoltán Ésik / rank @@
+Normal rank
@@ Property / author @@
+Anna Labella
@@ Property / author: Anna Labella / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4044767
@@ Property / cites work: Q4044767 / rank @@
+Normal rank
@@ Property / cites work @@
+Least fixed point of a functor
@@ Property / cites work: Least fixed point of a functor / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996444
@@ Property / cites work: Q3996444 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Q4138875
@@ Property / cites work: Q4138875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999603
@@ Property / cites work: Q3999603 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical fixed point calculus
@@ Property / cites work: Categorical fixed point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
+Normal rank
@@ Property / cites work @@
+Vector Iteration in Pointed Iterative Theories
@@ Property / cites work: Vector Iteration in Pointed Iterative Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Equational logic of circular data type specification
+Normal rank
@@ Property / cites work @@
+Equational axioms for regular sets
@@ Property / cites work: Equational axioms for regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S
@@ Property / cites work: SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point operations on ccc's. I
@@ Property / cites work: Fixed-point operations on ccc's. I / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration 2-theories
@@ Property / cites work: Iteration 2-theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304740
@@ Property / cites work: Q4304740 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+A Perspective View of Discrete Automata and Their Design
+Normal rank
@@ Property / cites work @@
+Q3919058
@@ Property / cites work: Q3919058 / rank @@
+Normal rank
@@ Property / cites work @@
+Independence of the equational axioms for iteration theories
+Normal rank
@@ Property / cites work @@
+Completeness of Park induction
@@ Property / cites work: Completeness of Park induction / rank @@
+Normal rank
@@ Property / cites work @@
+Group axioms for iteration
@@ Property / cites work: Group axioms for iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978971
@@ Property / cites work: Q3978971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138538
@@ Property / cites work: Q3138538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Complete systems of \(\mathcal B\)-rational identities
+Normal rank
@@ Property / cites work @@
+A fixpoint theorem for complete categories
@@ Property / cites work: A fixpoint theorem for complete categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3853827
@@ Property / cites work: Q3853827 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification of data types: A synthetic approach
+Normal rank
@@ Property / cites work @@
+Towards a foundation for semantics in complete metric spaces
+Normal rank
@@ Property / cites work @@
+Q3750114
@@ Property / cites work: Q3750114 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical fixed point semantics
@@ Property / cites work: Categorical fixed point semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3920613
@@ Property / cites work: Q3920613 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of the least-fixed-point operator by dinaturality
+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 / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(97)00158-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2079697982
@@ Property / OpenAlex ID: W2079697982 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1128480