par Filiot, Emmanuel ;Winter, Sarah
Référence Leibniz international proceedings in informatics, 213, 43
Publication Publié, 2021-12-01
Article révisé par les pairs
Titre:
  • Synthesizing Computable Functions from Rational Specifications over Infinite Words
Auteur:Filiot, Emmanuel; Winter, Sarah
Informations sur la publication:Leibniz international proceedings in informatics, 213, 43
Statut de publication:Publié, 2021-12-01
Sujet CREF:Généralités
Mots-clés:Computability
Continuity
Synthesis
Transducers
Uniformization
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.FSTTCS.2021.43
info:scp/85122434455