par Jecker, Ismaël Robin
Président du jury Geeraerts, Gilles
Promoteur Filiot, Emmanuel
Co-Promoteur Raskin, Jean-François
Publication Non publié, 2019-04-23
Thèse de doctorat
Titre:
  • Algorithmic Properties of Transducers
Auteur:Jecker, Ismaël Robin
Président du jury:Geeraerts, Gilles
Promoteur:Filiot, Emmanuel
Co-Promoteur:Raskin, Jean-François
Membre du jury:Kupferman, Orna; Muscholl, Anca; Löding, Christof
Informations sur la publication:Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense:2019-04-23
Sujet CREF:Informatique mathématique
Mots-clés:Transducers
Weighted automata
Uniformisation
Reversible
Intitulé du diplôme:Doctorat en Sciences
Langue:Français
Anneé académique:2018-2019