2026-06 - Paper accepted - MFCS 2026

The paper "Boolean combinations of omega-rational trace languages: emptiness, rationality, regularity" by Dietrich Kuske has been accepted for publication on Mathematical Foundations of Computer Science 2026.