Artikel aus der Arbeitsgruppe Knowledge-Based Systems in der Zeitschrift LMCS erschienen

Die Arbeit “The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic” von Jean Christoph Jung und Jędrzej Kołodziejski wurde in der Zeitschrift “Logical Methods in Computer Science” veröffentlicht.
