Login / Signup
Slothrop: Knuth-Bendix Completion with a Modern Termination Checker.
Ian Wehrman
Aaron Stump
Edwin 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