mkbTT

MaRDI QIDQ21993swMATHFDO

Official website http://cl-informatik.uibk.ac.at/mkbtt/

Cited in

(14)

• Slothrop
• Formalizing Knuth-Bendix orders and Knuth-Bendix completion
• KBCV
• Nagoya Termination Tool
• Encoding dependency pair techniques and control strategies for maximal completion
• Multi-completion with termination tools
• Multi-completion with Termination Tools (System Description)
• term-rewriting
• Well Quasi Orders
• REVE
• A lower bound of the number of rewrite rules obtained by homological methods
• AC completion with termination tools
• scientific article; zbMATH DE number 6027911 (Why is no real title available?)
• NaTT

This page was built for software: mkbTT