Top Qs
Timeline
Chat
Perspective

Knuth-Bendix completion algorithm

From Wiktionary, the free dictionary

Remove ads

English

Wikipedia

Etymology

Named after Donald Knuth and Peter Bendix.

Proper noun

Knuth-Bendix completion algorithm

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

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads
Remove ads