English Explanatory Dictionary

Knuth-Bendix completion algorithm

English dictionary entry

Meanings

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

Word forms

Knuth-Bendix completion algorithm

Etymology

Named after Donald Knuth and Peter Bendix.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on K Russian dictionary Dahl dictionary