KBCV

MaRDI QIDQ31286swMATHFDO

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

Described by source

• KBCV – Knuth-Bendix Completion Visualizer

Cited in

(8)

• mkbTT
• Slothrop
• Nagoya Termination Tool
• term-rewriting
• Well Quasi Orders
• Formalizing Knuth-Bendix orders and Knuth-Bendix completion
• Encoding dependency pair techniques and control strategies for maximal completion
• NaTT

This page was built for software: KBCV