Author:
Gumm H.Peter,Schröder Tobias
Subject
General Computer Science,Theoretical Computer Science
Reference6 articles.
1. Terminal coalgebras in well-founded set theory;Barr;Theoret. Comput. Sci.,1994
2. H.P. Gumm, Functors for coalgebras, Algebra Universalis, to appear.
3. B. Jacobs, Objects and classes, co-algebraically, in: B. Freitag et al. (Eds.), Object-Orientation with Parallelism and Persistence, Kluwer, Dordrecht, 1996.
4. B. Jacobs, J.J.M.M. Rutten, A tutorial on (co)algebras and (co)induction, Bulletin of EATCS, Vol. 62, 1997.
5. L.S. Moss, Coalgebraic logic, Annals of Pure and Applied Logic, to appear.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Star Expressions and Completeness Theorems;Electronic Proceedings in Theoretical Computer Science;2021-12-29
2. ALGEBRA, COALGEBRA, AND MINIMIZATION IN POLYNOMIAL DIFFERENTIAL EQUATIONS;LOG METH COMPUT SCI;2019
3. Coalgebraic Logics & Duality;Coalgebraic Methods in Computer Science;2018
4. AUTOMATA AND TREE AUTOMATA AS (F1, F2)-COALGEBRAS;Asian-European Journal of Mathematics;2009-03
5. 6 Algebras and coalgebras;Handbook of Modal Logic;2007