Equational axiomatizability for coalgebra (Q5941166): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3950541
@@ Property / cites work: Q3950541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5762080
@@ Property / cites work: Q5762080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839054
@@ Property / cites work: Q3839054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520827
@@ Property / cites work: Q4520827 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak inclusion systems
@@ Property / cites work: Weak inclusion systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520814
@@ Property / cites work: Q4520814 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of computation
@@ Property / cites work: Semantics of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+An Oxford survey of order sorted algebra
@@ Property / cites work: An Oxford survey of order sorted algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942101
@@ Property / cites work: Q4942101 / rank @@
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+Q3737481
@@ Property / cites work: Q3737481 / rank @@
+Normal rank
@@ Property / cites work @@
+Covarieties and complete covarieties
@@ Property / cites work: Covarieties and complete covarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+Mongruences and cofree coalgebras
@@ Property / cites work: Mongruences and cofree coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and Hidden Algebra
@@ Property / cites work: Bisimulation and Hidden Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+On notions of factorization systems and their applications to cone- injective subcategories
+Normal rank
@@ Property / cites work @@
+Q3958640
@@ Property / cites work: Q3958640 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+Normal rank
@@ Property / cites work @@
+A simple algebraic proof of the equational interpolation theorem
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(00)00129-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2059891142
@@ Property / OpenAlex ID: W2059891142 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5941166