Arbeit von Prof. Dietrich Kuske auf der FCT 2025 veröffentlicht

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/) veröffentlicht.

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