Permutative rewriting and unification.

Thierry Boy de la Tour Mnacho Echenim

Published in: Inf. Comput. (2007)

Keyphrases

higher order
rewrite rules
conjunctive queries
theorem proving
rewriting rules
queries using views
theorem prover
rewriting systems
presburger arithmetic
databases
real world
information systems
query rewriting
equational theories