Thèse en cours

Réseaux de preuve : graphes, canonicité, formalisation
FR  |  
EN
Auteur / Autrice : Rémi Di Guardia
Direction : Olivier Laurent
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 01/10/2021
Etablissement(s) : Lyon, École normale supérieure
Ecole(s) doctorale(s) : École doctorale en Informatique et Mathématiques de Lyon
Partenaire(s) de recherche : Laboratoire : Laboratoire de l'informatique du parallélisme (Lyon ; 1988-....)
établissement opérateur d'inscription : École normale supérieure de Lyon (2010-...)