Zum Inhalt
Fakultät für Informatik

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

Icon einer angedeuteten Weltkugel mit geöffnetem Projekt-Buch © Karolin Kriesch​/​TU Dortmund
Ein Artikel aus der Arbeitsgruppe Knowledge-Based Systems wurde in der Zeitschrift "Logical Methods in Computer Science" veröffentlicht.

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.