Optimizing mkbTT

Winkler, Sarah; Sato, Haruhiko; Middeldorp, Aart; Kurihara, Masahito

doi:10.4230/LIPIcs.RTA.2010.373

Document

Optimizing mkbTT

Authors Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara

Part of: Volume: Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Rewriting Techniques and Applications (RTA)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2010-07-06

PDF

File

LIPIcs.RTA.2010.373.pdf

Filesize: 256 kB
12 pages

Document Identifiers

DOI: 10.4230/LIPIcs.RTA.2010.373
URN: urn:nbn:de:0030-drops-26643

Author Details

Sarah Winkler

Haruhiko Sato

Aart Middeldorp

Masahito Kurihara

Cite As Get BibTex

Sarah Winkler, Haruhiko Sato, Aart Middeldorp, and Masahito Kurihara. Optimizing mkbTT. In Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Leibniz International Proceedings in Informatics (LIPIcs), Volume 6, pp. 373-384, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010) https://doi.org/10.4230/LIPIcs.RTA.2010.373

Abstract

We describe performance enhancements that have been added to mkbTT, a
modern completion tool combining multi-completion with the use of
termination tools.

Subject Classification

Keywords

Knuth-Bendix completion
termination prover
automated deduction

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail