mkbTT
From MaRDI portal
Software:21993
swMATH10018MaRDI QIDQ21993FDOQ21993
Author name not available (Why is that?)
Cited In (7)
- A lower bound of the number of rewrite rules obtained by homological methods
- Multi-completion with Termination Tools (System Description)
- Formalizing Knuth-Bendix orders and Knuth-Bendix completion
- Encoding dependency pair techniques and control strategies for maximal completion
- Title not available (Why is that?)
- Multi-completion with termination tools
- AC completion with termination tools
This page was built for software: mkbTT
