Equational and implicational classes of coalgebras (Q5941159): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Functors for coalgebras
@@ Property / cites work: Functors for coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Covarieties and complete covarieties
@@ Property / cites work: Covarieties and complete covarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698981
@@ Property / cites work: Q3698981 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank