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]
@inproceedings{MuschollP19-0, title = {Equivalence of Finite-Valued Streaming String Transducers Is Decidable}, author = {Anca Muscholl and Gabriele Puppis}, year = {2019}, doi = {10.4230/LIPIcs.ICALP.2019.122}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.122}, researchr = {https://researchr.org/publication/MuschollP19-0}, cites = {0}, citedby = {0}, booktitle = {46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece}, editor = {Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi}, volume = {132}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-95977-109-2}, }