Rewriting and Well-Definedness within a Proof System

Issam Maamria Michael J. Butler

Published in: PAR (2010)

Keyphrases

modal logic
query rewriting
rewriting rules
queries using views
presburger arithmetic
conjunctive queries
rewrite rules
regular path queries
website
termination analysis
intuitionistic logic
web services
quantifier elimination