CORE

🇺🇦   make metadata, not war

    3 research outputs found

    Optimizing mkbTT

    Author
    Publication venue
    LIPIcs - Leibniz International Proceedings in Informatics. Proceedings of the 21st International Conference on Rewriting Techniques and Applications
    Publication date
    Field of study
    Get PDF
    We describe performance enhancements that have been added to mkbTT, a modern completion tool combining multi-completion with the use of termination tools
    Dagstuhl Research Online Publication Server

    A fine-grained parallel completion procedure

    Author
    Publication venue
    ACM Press
    Publication date
    Field of study
    No full text
    CiteSeerX
    corecore