Réécriture modulo dans les catégories diagrammatiques

par Benjamin Dupont

Thèse de doctorat en Mathematiques

Sous la direction de Philippe Malbos, Stephane Gaussent et de Alistaire Savage.

Thèses en préparation à Lyon , dans le cadre de Informatique et Mathématiques de Lyon (InfoMaths) , en partenariat avec Institut Camille Jordan (equipe de recherche) depuis le 26-10-2017 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.