Login / Signup

Termination Orderings for Associative-Commutative Rewriting Systems.

Leo BachmairDavid A. Plaisted
Published in: J. Symb. Comput. (1985)
Keyphrases
  • rewriting systems
  • rewriting rules
  • associative memory
  • databases
  • database
  • relational databases