mkbTT
From MaRDI portal
Software:21993
swMATH10018MaRDI QIDQ21993FDOQ21993
Author name not available (Why is that?)
Cited In (7)
- Multi-completion with Termination Tools (System Description)
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
- Title not available (Why is that?)
- AC Completion with Termination Tools
- Multi-completion with termination tools
- Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion
- Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion
This page was built for software: mkbTT
