Completion for Rewriting Modulo a Congruence.

Leo Bachmair Nachum Dershowitz

Published in: RTA (1987)

Keyphrases

rewrite rules
socio technical
presburger arithmetic
genetic algorithm
query rewriting
rewriting systems
queries using views
search engine
computer vision
image processing
conjunctive queries
rewriting rules