Arbeit von Daniel Alexander Spenner auf ICALP 2026 akzeptiert

Die Arbeit “Deciding DFA-Primality is NP-Hard” von Daniel Alexander Spenner aus der Arbeitsgruppe LogiDAC wurde bei der 53rd EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2026) angenommen.
Die volle Version ist bei arXiv erhältlich: https://doi.org/10.48550/arXiv.2605.07031
