Knuth-Bendix completion algorithm

短语

释义与例句

name
  1. 1.

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

    计算机 工程 数学

词源

Named after Donald Knuth and Peter Bendix.

来源：wiktionary