knuth-bendix completion algorithm

word

Meaning

No dictionary definition has been added for "knuth-bendix completion algorithm" yet.

Etymology / origin

No prose etymology has been added yet.

No ancestor words have been linked yet.

Related words

bicompletion(English)rewriting(English)cantor-bendixson theorem(English)back substitution(English)knuth equivalence(English)μ-completion(English)rewrite(English)unification(English)

Descendant words

No descendant words have been linked yet.

Sources

No citations have been attached yet.

knuth-bendix completion algorithm — meaning and etymology | WikiWord