Knuth-Bendix completion algorithm
专有名词
英文释义
专有名词
- A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.
词源
Named after Donald Knuth and Peter Bendix.
0 次浏览
数据来源: Wiktionary