Optimizing mkbTT (System Description)
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, and Masahito KuriharaProceedings 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
@inproceedings{SWHSAMMK-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 }