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