Arbeit von Dietrich Kuske auf der MFCS 2026 veröffentlicht

Die Arbeit "Boolean Combinations of ω-Rational Trace Languages: Emptiness, Rationality, Regularity" von Dietrich Kuske wurde auf der Mathematical Foundations of Computer Science 2026 veröffentlicht.