How to Choose Weights in the Knuth Bendix Ordering.

Published in: RTA (1987)

Keyphrases

knuth bendix
term rewriting
rewrite systems
function symbols
theorem proving
artificial intelligence
high level
bayesian networks
programming language
first order logic