Paper by Prof. Dietrich Kuske accepted for publication at FCT 2025
TU Ilmenau
The paper “Disjointness, inclusion, and regularity of ω-rational trace languages" by Prof. Dietrich Kuske was accepted for presentation at FCT 2025 (https://fct2025.cs.uni.wroc.pl/).