13 citations · 30 across the 13 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019★ 1 cited
On Synthesis of Resynchronizers for Transducers
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl +2
We study two formalisms that allow to compare transducers over words under origin semantics: rational and regular resynchronizers, and show that the former are captured by the latt…
cs.FL2019★ 1 cited
Equivalence of finite-valued streaming string transducers is decidable
Anca Muscholl, Gabriele Puppis
In this paper we provide a positive answer to a question left open by Alur and and Deshmukh in 2011 by showing that equivalence of finite-valued copyless streaming string transduce…