Synthesis of Data Word Transducers

Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier. Synthesis of Data Word Transducers. Logical Methods in Computer Science, 17(1), 2021. [doi]

Abstract

Abstract is missing.