Unifying the Knuth-Bendix, recursive path and polynomial orders.

Akihisa Yamada Keiichirou Kusakari Toshiki Sakabe

Published in: PPDP (2013)

Keyphrases

knuth bendix
term rewriting
rewrite systems
database
theorem proving
information systems
web services
general purpose
background knowledge
distributed databases
theorem prover
operational semantics