author = { Enqvist, Sebastian AND Venema, Yde Sebastian Enqvist and Yde Venema },

title = { Disjunctive Bases: Normal Forms for Modal Logics },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Lyndon theorem , coalgebra , Modal logic , automata , fixpoint logic , graded modal logic , uniform interpolation },

year = {2017},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }