Parametric corecursion (Q5941163): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993251
@@ Property / cites work: Q3993251 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / 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 logic of recursive equations
@@ Property / cites work: The logic of recursive equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261094
@@ Property / cites work: Q4261094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222953
@@ Property / cites work: Q4222953 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the foundations of final coalgebra semantics: non-well-founded  sets,  partial orders, metric spaces
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00126-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2914339009
@@ Property / OpenAlex ID: W2914339009 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5941163