Proving and Rewriting.

Joseph A. Goguen

Published in: ALP (1990)

Keyphrases

rewrite rules
query rewriting
conjunctive queries
presburger arithmetic
rewriting rules
queries using views
rewriting systems
multi agent systems
termination analysis
term rewrite systems
real time
probabilistic model
special case
database systems
three dimensional
information systems
computer vision