Recursion and corecursion have the same equational logic (Q1398467): Difference between revisions

@@ 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 axioms for regular sets
@@ Property / cites work: Equational axioms for regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+The equational logic of fixed points
@@ Property / cites work: The equational logic of fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Q3957911
@@ Property / cites work: Q3957911 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of iteration in algebraically complete categories
+Normal rank
@@ Property / cites work @@
+The logic of recursive equations
@@ Property / cites work: The logic of recursive equations / rank @@
+Normal rank
@@ Property / cites work @@
+The formal language of recursion
@@ Property / cites work: The formal language of recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395617
@@ Property / cites work: Q4395617 / rank @@
+Normal rank
@@ Property / cites work @@
+Festschrift on the occasion of Professor Rohit Parikh's 60th birthday
+Normal rank
@@ Property / cites work @@
+Parametric corecursion
@@ Property / cites work: Parametric corecursion / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank