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
}