Login / Signup
Termination Orderings for Associative-Commutative Rewriting Systems.
Leo Bachmair
David A. Plaisted
Published in:
J. Symb. Comput. (1985)
Keyphrases
</>
rewriting systems
rewriting rules
associative memory
databases
database
relational databases