Algebraic Semantics for Coalgebraic Logics

Authors	C. Kupke A. Kurz D. Pattinson
Publication date	2004
Journal	Electronic Notes in Theoretical Computer Science
Volume | Issue number	106
Pages (from-to)	219-241
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	Article
Note	Proceedings title: Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS) Editors: J. Adamek, S. Milius
Language	English
Published at	https://doi.org/10.1016/j.entcs.2004.02.037
Permalink to this page