par Lhote, Nathan 
Président du jury Muscholl, Anca
Promoteur Filiot, Emmanuel;Gauwin, Olivier
Publication Non publié, 2019-06-01
Président du jury Muscholl, Anca
Promoteur Filiot, Emmanuel
;Gauwin, OlivierPublication Non publié, 2019-06-01
Thèse de doctorat
| Titre: |
|
| Auteur: | Lhote, Nathan |
| Président du jury: | Muscholl, Anca |
| Promoteur: | Filiot, Emmanuel; Gauwin, Olivier |
| Membre du jury: | Bojańczyk, Mikołaj M B; Colcombet, Thomas T C; Löding, Christof; Raskin, Jean-François; Seidl, Helmut |
| Informations sur la publication: | Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles |
| Date de défense: | 2019-06-01 |
| Sujet CREF: | Informatique mathématique |
| Mots-clés: | langages formels |
| logique | |
| automates | |
| Intitulé du diplôme: | Option Informatique du Doctorat en Sciences |
| Langue: | Français |
| Anneé académique: | 2018-2019 |
| Institution de co-tutelle: | Université de Bordeaux |
