Optimizing mkbTT (System Description)
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, and Masahito Kurihara
Proceedings of the 21st International Conference on Rewriting Techniques
and Applications (RTA 2010), Leibniz International Proceedings in
Informatics 6, pp. 373 – 384, 2010.
Abstract
We describe performance enhancements that have been added to mkbTT, a modern completion tool combining multi-completion with the use of termination tools.BibTeX Entry
@inproceedings{WSMK-RTA10,
author = "Sarah Winkler and Haruhiko Sato and Aart Middeldorp and
Masahito Kurihara",
title = "Optimizing {mkbTT} (System Description)",
booktitle = "Proceedings of the 21st International Conference on Rewriting
Techniques and Applications",
series = "Leibniz International Proceedings in Informatics",
volume = 6,
pages = "373--384",
year = 2010,
doi = "10.4230/LIPIcs.RTA.2010.373"
}