Decidability of the Multiplicity Equivalence of Multitape Finite Automata

Tero Harju, Juhani Karhumki

Browse the full STOC paper archive.