Knuth-Bendix completion algorithm

Proper noun

Meaning

Knuth-Bendix completion algorithm

(computing theory) A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.

Source: en.wiktionary.org

Close letter words and terms

Knute Knuth Knuth equivalence Knuth-Morris-Pratt algorithm Knutsford Knutson