Login / Signup
Senescent ground tree rewrite systems.
Matthew Hague
Published in:
CSL-LICS (2014)
Keyphrases
</>
rewrite systems
term rewriting
tree structure
knuth bendix
active rules
quantifier free
theorem prover
index structure
first order logic
expert systems
r tree
b tree