文章基本信息
- 标题：Optimizing mkbTT
- 本地全文：下载
- 作者：Sarah Winkler ; Haruhiko Sato ; Aart Middeldorp 等
- 期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
- 电子版ISSN：1868-8969
- 出版年度：2010
- 卷号：6
- 页码：373-384
- DOI：10.4230/LIPIcs.RTA.2010.373
- 出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
- 摘要：We describe performance enhancements that have been added to mkbTT, a modern completion tool combining multi-completion with the use of termination tools.
- 关键词：Knuth-Bendix completion; termination prover; automated deduction
