Some Extensions of Rewriting.

Hélène Kirchner

Published in: Term Rewriting (1993)

Keyphrases

presburger arithmetic
efficient implementation
rewrite rules
quantifier elimination
neural network
conjunctive queries
query rewriting
e learning
clustering algorithm
image sequences
expert systems
default theories
rewriting rules
queries using views