KBCV

swMATH19459MaRDI QIDQ31286FDOQ31286

Author name not available (Why is that?)

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

Described by source

• KBCV – Knuth-Bendix Completion Visualizer

Cited In (8)

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

This page was built for software: KBCV