par Exibard, Leo ;Filiot, Emmanuel ;Reynier, Pierre-Alain
Référence Leibniz international proceedings in informatics, 140, 24
Publication Publié, 2019-08-01
Article révisé par les pairs
Titre:
  • Synthesis of data word transducers
Auteur:Exibard, Leo; Filiot, Emmanuel; Reynier, Pierre-Alain
Informations sur la publication:Leibniz international proceedings in informatics, 140, 24
Statut de publication:Publié, 2019-08-01
Sujet CREF:Généralités
Mots-clés:Data words
Register Automata
Synthesis
Transducers
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.CONCUR.2019.24
info:scp/85071647260