par Filiot, Emmanuel ;Winter, Sarah
Référence International journal of foundations of computer science, 35, 1AND2, page (179-214)
Publication Publié, 2024-01-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:International journal of foundations of computer science, 35, 1AND2, page (179-214)
Statut de publication:Publié, 2024-01-01
Sujet CREF:Sciences exactes et naturelles
Mots-clés:computable functions
Synthesis
two-way transducers
Note générale:SCOPUS: ar.j
Langue:Français
Identificateurs:urn:issn:0129-0541
info:doi/10.1142/S012905412348009X
info:scp/85177080106