Ordered Tree-Pushdown Systems.

Lorenzo Clemente Pawel Parys Sylvain Salvati Igor Walukiewicz

Published in: CoRR (2015)

Keyphrases

tree structure
intelligent systems
retrieval systems
data sets
real world
database systems
model checking
tree search