Towards Rewriting in Coq.

Jacek Chrzaszcz Daria Walukiewicz-Chrzaszcz

Published in: Rewriting, Computation and Proof (2007)

Keyphrases

formal methods
theorem prover
query rewriting
queries using views
rewriting rules
conjunctive queries
rewrite rules
rewriting systems
artificial intelligence
data sets
databases
information retrieval
computer vision
website
magic sets
termination analysis