Document Open Access Logo

Optimizing mkbTT

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



PDF
Thumbnail PDF

File

LIPIcs.RTA.2010.373.pdf
  • Filesize: 256 kB
  • 12 pages

Document Identifiers

Author Details

Sarah Winkler
Haruhiko Sato
Aart Middeldorp
Masahito Kurihara

Cite AsGet 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.
Keywords
  • Knuth-Bendix completion
  • termination prover
  • automated deduction

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail