Zwei Arbeiten auf der STACS'24 zu Veröffentlichung angenommen

TU Ilmenau

Auf dem diesjährigem 41st International Symposium on Theoretical Aspects of Computer Science (STACS) https://stacs2024.limos.fr/ werden zwei Arbeiten aus dem Institut für Theoretische Informatik präsentiert:

"Modal logic is more succinct iff bi-implication is available in some form" von Christoph Berkholz, Dietrich Kuske und Christian Schwarz sowie "A characterization of efficiently compilable constraint languages" von Christoph Berkholz, Stefan Mengel und Hermann Wilhelm (Preprint verfügbar unter https://arxiv.org/abs/2311.10040).