Dummy Elimination in Equational Rewriting.

Maria C. F. Ferreira

Published in: RTA (1996)

Keyphrases

theorem proving
rewriting rules
queries using views
theorem prover
equational theories
conjunctive queries
rewrite rules
query rewriting
presburger arithmetic
special case
search algorithm
elimination algorithm
termination analysis
dead end
multiscale
machine learning
databases