Alain Prouté
IdRefMots clés
FR |
EN
Réécriture, Systèmes de (informatique)
Homologie
Catégories (mathématiques)
Monoïdes
Transformations (mathématiques)
Calcul différentiel
Monoïde
Présentation par générateurs et relations
Réécriture
Terminaison
Confluence
Convergence
PRO
Diagramme
Bigèbre
Sigma-diagramme
Convergence (mathématiques)
Éclatement (mathématiques)
Modules différentiels gradués
L-algèbres