Login / Signup

Slothrop: Knuth-Bendix Completion with a Modern Termination Checker.

Ian WehrmanAaron StumpEdwin M. Westbrook
Published in: RTA (2006)
Keyphrases
  • knuth bendix
  • term rewriting
  • rewrite systems
  • theorem proving
  • theorem prover
  • operational semantics
  • active rules
  • high level
  • first order logic
  • integrity constraints
  • termination analysis
  • databases
  • normal form