Le moteur de recherche
des thèses françaises
Vladimir Dotsenko
IdRefMots clés
FR |
EN
Algèbre homologique
Opérateurs de réduction
Bases de Gröbner non commutatives
Bases de Gröbner
Théorie des treillis
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
Systèmes de réécriture (informatique)
Convergence (mathématiques)
Éclatement (mathématiques)