Synthesis of Data Word Transducers.

Lo Exibard, Emmanuel Filiot, Pierre-Alain Reynier

Browse the full CONCUR paper archive.