Login / Signup

Derivational Complexity of Knuth-Bendix Orders Revisited.

Georg Moser
Published in: LPAR (2006)
Keyphrases
  • knuth bendix
  • term rewriting
  • rewrite systems
  • function symbols
  • finite state
  • database
  • bayesian networks
  • data management
  • theorem prover