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
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Complétion_de_Knuth-Bendix
Lien Wikidata : https://www.wikidata.org/wiki/Q2835803