Equivalence of Finite-Valued Streaming String Transducers Is Decidable.

Anca Muscholl, Gabriele Puppis

Browse the full ICALP paper archive.