par Filiot, Emmanuel ;Winter, Sarah
Référence Foundations of Software Technology and Theoretical Computer Science Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Vol. 213, page (43:1-43:16)
Publication Publié, 2021
Publication dans des actes
Titre:
  • Synthesizing Computable Functions from Rational Specifications over Infinite Words
Auteur:Filiot, Emmanuel; Winter, Sarah
Informations sur la publication:Foundations of Software Technology and Theoretical Computer Science Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Vol. 213, page (43:1-43:16)
Statut de publication:Publié, 2021
series:LIPIcs
Sujet CREF:Sciences exactes et naturelles
Langue:Français
Identificateurs:info:doi/10.4230/LIPIcs.FSTTCS.2021.43