On Coalgebras over Algebras (Q2919449): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2010.07.013
@@ Property / DOI: 10.1016/j.entcs.2010.07.013 / rank @@
-Normal rank
@@ Property / author @@
+Adriana Balan
@@ Property / author: Adriana Balan / rank @@
+Normal rank
@@ Property / author @@
+Alexander Kurz
@@ Property / author: Alexander Kurz / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2157619640
@@ Property / OpenAlex ID: W2157619640 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0938
@@ Property / arXiv ID: 1005.0938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527392
@@ Property / cites work: Q4527392 / rank @@
+Normal rank
@@ Property / cites work @@
+Final Coalgebras are Ideal Completions of Initial Algebras
+Normal rank
@@ Property / cites work @@
+On final coalgebras of continuous functors
@@ Property / cites work: On final coalgebras of continuous functors / rank @@
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Algebraically compact functors
@@ Property / cites work: Algebraically compact functors / 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 @@
+Q4222948
@@ Property / cites work: Q4222948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863893
@@ Property / cites work: Q2863893 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint Lifting Theorems for Categories of Algebras
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5570960
@@ Property / cites work: Q5570960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Iterativity for Algebras with Effects
@@ Property / cites work: Complete Iterativity for Algebras with Effects / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Expressive Coalgebraic Logics for Finitary Set Functors
+Normal rank
@@ Property / cites work @@
+Q4251915
@@ Property / cites work: Q4251915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449540
@@ Property / cites work: Q4449540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620935
@@ Property / cites work: Q5620935 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+On the final sequence of a finitary set functor
@@ Property / cites work: On the final sequence of a finitary set functor / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2010.07.013
@@ Property / DOI: 10.1016/J.ENTCS.2010.07.013 / rank @@
+Normal rank