Vladimir Dotsenko
IdRefMots clés
FR |
EN
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
Opérades
Monoïde
Présentation par générateurs et relations
Réécriture
Terminaison
Confluence
Convergence
PRO
Diagramme
Bigèbre
Sigma-diagramme
Réécriture, Systèmes de (informatique)
Convergence (mathématiques)
Éclatement (mathématiques)