par Exibard, Leo ;Filiot, Emmanuel ;Khalimov, Ayrat
Référence Leibniz international proceedings in informatics, 187, 28
Publication Publié, 2021-04-19
Article révisé par les pairs
Titre:
  • Church synthesis on register automata over linearly ordered data domains
Auteur:Exibard, Leo; Filiot, Emmanuel; Khalimov, Ayrat
Informations sur la publication:Leibniz international proceedings in informatics, 187, 28
Statut de publication:Publié, 2021-04-19
Sujet CREF:Généralités
Informatique mathématique
Mots-clés:Church Game
Ordered 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.STACS.2021.28
info:scp/85113563252