Recherche Avancée

Thèse en cours

Formalisation en Coq des transformations de graphes

FR
Auteur / Autrice : Samuel Arsac
Direction : Russ Harmer, Damien Pous
Type : Projet de thèse
Discipline(s) : Informatique
Date : Inscription en doctorat le 01/10/2023
Etablissement(s) : Lyon, École normale supérieure
Ecole(s) doctorale(s) : École doctorale InfoMaths (Lyon ; 2009-....)
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-...)