KBCV

swMATH19459MaRDI QIDQ31286FDOQ31286

Author name not available (Why is that?)

Described by source

• KBCV – Knuth-Bendix Completion Visualizer

Cited In (2)

• Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion
• Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion

This page was built for software: KBCV