Login / Signup
Automating the Knuth Bendix Ordering.
Jeremy Dick
John Kalmus
Ursula Martin
Published in:
Acta Informatica (1990)
Keyphrases
</>
knuth bendix
term rewriting
rewrite systems
function symbols
general purpose
logic programs