Author:
Kurz Alexander,Rosický Jiří
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. P. Aczel and N. Mendler. A final coalgebra theorem. In D. H. Pitt et al, editor, Category Theory and Computer Science, volume 389 of LNCS, pages 357–365. Springer, 1989.
2. J. Adámek and H. Porst. From varieties of algebras to covarieties of coalgebras. In A. Corradini, M. Lenisa, and U. Montanari, editors, Coalgebraic Methods in Computer Science (CMCS'01), volume 44.1 of ENTCS. Elsevier, 2001.
3. J. Adámek and J. Rosický. Locally Presentable and Accessible Categories, volume 189 of London Mathematical Society Lecture Notes Series. Cambridge University Press, 1994
4. Automata and Algebras in Categories;Adámek,1990
5. A. Baltag, L. Moss, and S. Solecki. The logic of public announcements, common knowledge, and private suspicions. Technical Report SEN-R9922, CWI, Amsterdam, November 1999.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY;The Journal of Symbolic Logic;2024-03-04
2. Stone Coalgebras;Electronic Notes in Theoretical Computer Science;2003-07
3. Factorization systems and fibrations;Electronic Notes in Theoretical Computer Science;2003-02
4. Some Co-Birkhoff Type Theorems;Electronic Notes in Theoretical Computer Science;2002-10