Login / Signup
Non Strict Confluent Rewrite Systems for Data-Structures with Pointers.
Rachid Echahed
Nicolas Peltier
Published in:
RTA (2007)
Keyphrases
</>
rewrite systems
data structure
term rewriting
quantifier free
knuth bendix
active rules
quadtree
database systems
data types
operational semantics
database
machine learning
index structure
integrity constraints