Arbeit von M. Sc. Sebastian Pfau auf der CSL 2026 veröffentlicht

Paper from Sebastian Pfau published at CSL 2026TU 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) veröffentlicht. Die Veröffentlichung ist unter folgendem Link verfügbar.