Arbeit von Dietrich Kuske auf der MFCS 2026 angenommen

TU Ilmenau

Die Arbeit "Boolean combinations of omega-rational trace languages: emptiness, rationality, regularity" von Dietrich Kuske wurde für die Veröffentlichung auf der Mathematical Foundations of Computer Science 2026 angenommen.