Author:
Aceto Luca,Ingolfsdottir Anna,Sack Joshua
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference16 articles.
1. Terminal coalgebras in well-founded set theory;Barr;Theoretical Computer Science,1993
2. Modal Logic;Blackburn,2001
3. Models of nondeterministic regular expressions;Corradini;Journal of Computer and System Sciences,1999
4. Graded modalities and resource bisimulation;Corradini,1999
5. C. Cirstea, A. Kurz, D. Pattinson, L. Schröder, Y. Venema, Modal logics are coalgebraic, The Computer Journal, doi:10.1093/comjnl/bxp004, in press.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献