One article by Daniel Alexander Spenner accepted at ICALP 2026
One article by Daniel Alexander Spenner has been accepted at ICALP 2026.
The article"Deciding DFA-Primality is NP-Hard" by Daniel Alexander Spenner from the LogiDAC group has been accepted at the 53rd EATCS International Colloquium on Automata, Languages, and Programming (ICALP 2026).
The full version of the article is available on arXiv: https://doi.org/10.48550/arXiv.2605.07031