検索結果- 英語 - 英語 | ディクト

検索結果- 英語 - 英語

検索内容:

completely.

Knuth-Bendix completion algorithm

name

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

The Knuth-Bendix completion algorithm is used to solve word problems in equational logic.

Google翻訳 / DeepL翻訳

意味の詳細を表示する

Webで検索する

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★