complétion de Knuth-Bendix

concept transforme un ensemble fini d'identités décrivant une structure algébrique en un système de réécriture de termes

Aussi : Knuth-Bendix (algorithme), Complétion de Knuth-Bendix