Login / Signup

Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order.

Konstantin KorovinAndrei Voronkov
Published in: RTA (2001)
Keyphrases
  • rewrite rules
  • desirable properties
  • shape features
  • knuth bendix