mkbTT
From MaRDI portal
Software:21993
No author found.
Related Items (7)
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods ⋮ Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion ⋮ Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion ⋮ Multi-completion with termination tools ⋮ Multi-completion with Termination Tools (System Description) ⋮ AC Completion with Termination Tools ⋮ Unnamed Item
This page was built for software: mkbTT
