Paper by Dietrich Kuske published at MFCS 2026

The paper "Boolean Combinations of ω-Rational Trace Languages: Emptiness, Rationality, Regularity" by Dietrich Kuske has been published at Mathematical Foundations of Computer Science 2026.