KBCV
From MaRDI portal
Software:31286
No author found.
Related Items (2)
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion ⋮ Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion
This page was built for software: KBCV