A Taste of Rewrite Systems.

Nachum Dershowitz

Published in: Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
theorem proving
information systems
relational databases
data model