Réécriture de diagrammes et de Sigma-diagrammes
FR
Auteur / Autrice : | Pierre Rannou |
Direction : | Yves Lafont |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques |
Date : | Soutenance le 21/10/2013 |
Etablissement(s) : | Aix-Marseille |
Ecole(s) doctorale(s) : | École doctorale Mathématiques et Informatique de Marseille (Marseille ; 1994-....) |
Jury : | Président / Présidente : Nadia Creignou |
Examinateurs / Examinatrices : Yves Guiraud, Alain Prouté, François Lamarche, Luigi Santocanale | |
Rapporteurs / Rapporteuses : Vladimir Dotsenko, Pierre-Louis Curien |
Résumé
FR |
EN
.