KBCV - Knuth-Bendix Completion Visualizer.

Thomas Sternagel Harald Zankl

Published in: IJCAR (2012)

Keyphrases

knuth bendix
term rewriting
rewrite systems
function symbols
theorem proving
operational semantics
databases
expert systems
xml documents
first order logic
spatial databases
theorem prover