Dehn's Algorithm and the Complexity of Word Problems
Ronald V. Book · American Mathematical Monthly · 1988
Etude du probleme des mots: complexite, decidabilite, algorithme de Dehn, systeme de reecriture, presentations de groupes, systeme de Thue, systeme de Church-Rosser, monoides, complexite de calcul, temps polynomial