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 published at FCT 2025 (https://fct2025.cs.uni.wroc.pl/).

A preprint is available at the following Link.