Arbeit von M. Sc. Sebastian Pfau auf der CSL 2026 zur Veröffentlichung angenommen

TU Ilmenau

Die Arbeit "Boolean Basis and Succinctness of Modal Logic via Hella-Vilander games" von M. Sc. Sebastian Pfau wurde auf der CSL 2026 (CSL 2026 | 34th EACSL Annual Conference Computer Science Logic) zur Veröffentlichung angenommen.