Thèse en ligne
Consulter la fiche auteur
Théo PIERRON - Admis au titre de docteur
Doctorat Informatique
Thèse soutenue le
8 juillet 2019 -
Université de Bordeaux
Ecole doctorale
:
Mathématiques et Informatique
Sujet
: Schémas d'induction : de la séparation de langages à la coloration de graphes
Mots-clés de la thèse
: déchargement,graphes,automates finis,séparation,logique,
Direction de thèse
: MARC ZEITOUN
Co-direction de thèse
: Eric SOPENA
Co-encadrement de thèse
: Marthe BONAMY
Unité de recherche :
LaBRI - Laboratoire Bordelais de Recherche en Informatique UMR 5800
- Talence
Intitulé de l'équipe :
Combinatoire et algorithmiques
Master - Master recherche
obtenu en 2015 - Université de Bordeaux
Option :
Mathématiques
Dernière mise à jour le 22 juillet 2019