Completion for Rewriting Modulo a Congruence.

Leo Bachmair Nachum Dershowitz

Published in: Theor. Comput. Sci. (1989)

Keyphrases

socio technical
rewrite rules
rewriting rules
neural network
machine learning
query rewriting
queries using views
information systems
learning environment
special case
conjunctive queries
datalog programs