Login / Signup

Orienting rewrite rules with the Knuth-Bendix order.

Konstantin KorovinAndrei Voronkov
Published in: Inf. Comput. (2003)
Keyphrases
  • rewrite rules
  • knuth bendix
  • database systems
  • software engineering
  • multi dimensional
  • term rewriting