Logicality of Conditional Rewrite Systems.

Toshiyuki Yamada Jürgen Avenhaus Carlos Loría-Sáenz Aart Middeldorp

Published in: TAPSOFT (1997)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
relational databases
distributed systems
theorem prover
theorem proving
knowledge base
database systems
query processing