Dagstuhl Seminar Proceedings, Volume 9502,

• Ernst-Erich Doberkat and Alexander Kurz 09502 Abstracts Collection – Coalgebraic Logics 10.4230/DagSemProc.09502.1