Arbeit von Prof. Dietrich Kuske auf der FCT 2025 zur Veröffentlichung angenommen

TU Ilmenau

Die Arbeit "Disjointness, inclusion, and regularity of ω-rational trace languages" von Prof. Dietrich Kuske wurde auf der FCT 2025 (https://fct2025.cs.uni.wroc.pl/) zur Veröffentlichung angenommen.

Die Veröffentlichung ist unter folgendem Link verfügbar.