411 REFERENCE · Wiktionary
Knuth-Bendix completion algorithm
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after Donald Knuth and Peter Bendix.
Proper noun
en algorithm A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.
en eponyms