par Filiot, Emmanuel ;Gauwin, Olivier;Lhote, Nathan ;Muscholl, Anca
Référence Leibniz international proceedings in informatics, 122, 30
Publication Publié, 2018-12-01
Article révisé par les pairs
Titre:
  • On canonical models for rational functions over infinite words
Auteur:Filiot, Emmanuel; Gauwin, Olivier; Lhote, Nathan; Muscholl, Anca
Informations sur la publication:Leibniz international proceedings in informatics, 122, 30
Statut de publication:Publié, 2018-12-01
Sujet CREF:Généralités
Mots-clés:Aperiodicty
First-order logic
Infinite words
Minimization
Transducers
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.FSTTCS.2018.30
info:scp/85074931810