Login / Signup
Senescent Ground Tree Rewrite Systems.
Matthew Hague
Published in:
CoRR (2013)
Keyphrases
</>
rewrite systems
term rewriting
knuth bendix
tree structure
index structure
active rules
quantifier free
artificial intelligence
query language