Arbeit von Christoph Berkholz, Dietrich Kuske und Christian Schwarz im Journal Logical Methods in Computer Science erschienen.

TU Ilmenau

Die Arbeit "Boolean basis,  formula size, and number of modal operators." von Christoph Berkholz, Dietrich Kuske und Christian Schwarz ist in der Fachzeitschrift Logical Methods in Computer Science, Volume 21 number 3:10 (2025, 29 pages) erschienen.

Die Veröffentlichung ist unter folgendem Link verfügbar.