Knuth-Bendix completion algorithm en · PROPN
Etymology
Named after Donald Knuth and Peter Bendix.
Meanings
- A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.
Dictionary
Words, grammatical forms and meanings linked to the ontology.