Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. S. Awodey and J. Hughes. The coalgebraic dual of Birkhoff’s variety theorem. Technical Report CMU-PHIL-109, Carnegie Mellon University, Pittsburgh, PA, 15213, November 2000.
2. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001. See also http://www.mlbook.org .
3. A. Corradini, M. Lenisa, and U. Montanari, editors. Coalgebraic Methods in Computer Science (CMCS’01), volume 44–1 of Electronic Notes in Theoretical Computer Science, 2001.
4. Robert Goldblatt. A calculus of terms for coalgebras of polynomial functors. In A. Corradini, M. Lenisa, and U. Montanari, editors, Coalgebraic Methods in Computer Science (CMCS’01), volume 44.1 of ENTCS. Elsevier, 2001.
5. H. P. Gumm and T. Schröder. Covarieties and complete covarieties. Theoretical Computer Science, 260:71–86, 2001.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Expressivity of Coalgebraic Modal Logic: The Limits and Beyond;Foundations of Software Science and Computational Structures;2005
2. Algebraic-Coalgebraic Specification in CoCasl;Recent Trends in Algebraic Development Techniques;2003
3. Coalgebraic Modal Logic in CoCasl;Recent Trends in Algebraic Development Techniques