AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering.

Joachim Steinbach

Published in: ALP (1990)

Keyphrases

knuth bendix
rewrite systems
term rewriting
active rules
theorem proving
theorem prover
operational semantics