Login / Signup

An Extension of the Knuth-Bendix Ordering with LPO-Like Properties.

Michel LudwigUwe Waldmann
Published in: LPAR (2007)
Keyphrases
  • knuth bendix
  • term rewriting
  • rewrite systems
  • database
  • function symbols