Coalgebraic Logics, 06.12. - 09.12.2009

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]

Conference: Dagstuhl2009

Abstract

Abstract is missing.

Table of Contents