Anca Muscholl, Gabriele Puppis. Equivalence of Finite-Valued Streaming String Transducers Is Decidable. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi, editors, 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece. Volume 132 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.