09502 Abstracts Collection - Coalgebraic Logics

Ernst-Erich Doberkat, Alexander Kurz. 09502 Abstracts Collection - Coalgebraic Logics. In Ernst-Erich Doberkat, Alexander Kurz, editors, Coalgebraic Logics, 06.12. - 09.12.2009. Volume 09502 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]

Abstract

Abstract is missing.