Skip to main content

How to choose the weights in the Knuth Bendix ordering

Ursula Martin

Book Title
Rewriting Techniques and Applications
Organisation
Springer Berlin/Heidelberg
Pages
42–53
Year
1987