Author:
Marti Johannes,Venema Yde
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Adámek, J., Trnková, V.: Automata and Algebras in Categories. Kluwer Academic Publishers, Norwell (1990)
2. Baltag, A.: A logic for coalgebraic simulation. Electronic Notes in Theoretical Computer Science 33, 42–60 (2000)
3. Peter Gumm, H., Schröder, T.: Types and coalgebraic structure. Algebra Universalis 53, 229–252 (2005)
4. Hansen, H.H., Kupke, C.: A coalgebraic perspective on monotone modal logic. Electronic Notes in Theoretical Computer Science 106, 121–143 (2004)
5. Lecture Notes in Computer Science;H.H. Hansen,2007
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献