Author:
Hansen Helle,Kupke Clemens,Pacuit Eric
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference43 articles.
1. P. Aczel and N.P. Mendler. A final coalgebra theorem. In D.H. Pitt, D.E. Rydeheard, P. Dybjer, A.M. Pitts, and A.Poigné, editors,Category Theory and Computer Science, volume 389 ofLecture Notes in Computer Science, pages 357-365, 1989.
2. J. Adámek, H. Herrlich, and G.E. Strecker.Abstract and Concrete Categories: The Joy of Cats. J. Wiley and Sons, 1990. Online version: \nolinkurlhttp://katmat.math.uni-bremen.de/acc.
3. On tree coalgebras and coalgebra presentations
4. Alternating-time temporal logic
5. Back and Forth Between Modal Logic and Classical Logic
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献