Le moteur de recherche
des thèses françaises
Yves Guiraud
IdRefMots clés
FR |
EN
Réécriture
Monoïde
Catégories (mathématiques)
Monoïdes
Homotopie
Systèmes de réécriture (informatique)
Opérateurs de réduction
Bases de Gröbner non commutatives
Bases de Gröbner
Algèbre homologique
Théorie des treillis
Algèbres de Koszul
Catégories supérieures
Catégories strictes
Catégories de Gray
Problème du mot
Diagrammes de recollement
Présentation cohérente
Polygraphe
Monoïde d'Artin-Tits