Knuth-Bendix completion algorithm (English, name)
expansion: Knuth-Bendix completion algorithm
Senses:
topics: computing
computing-theory
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.
Forms: