Symbolic Tree Transducers.

Margus Veanes Nikolaj Bjørner

Published in: Ershov Memorial Conference (2011)

Keyphrases

tree structure
b tree
neural learning
real time
leaf nodes
tree search
binary tree
databases
machine learning
index structure
graph structure
symbolic representation
finite automata
tree nodes
symbolic reasoning