2016-10-31から1日間の記事一覧

Maxcompをインストールした

Maxcompはknuth-bendixのアルゴリズムないしmkbtt(多重完備化)とは別の完備化アルゴリズムおよび,それのデモプログラムです.JAISTで公開されています.http://www.jaist.ac.jp/project/maxcomp/個人的に完備化したい項書き換え系があったのでインストー…