When Trees Grow Low: Shrubs and Fast MSO1.

Robert Ganian Petr Hlinený Jaroslav Nesetril Jan Obdrzálek Patrice Ossona de Mendez Reshma Ramadurai

Published in: MFCS (2012)

Keyphrases

tree automata
decision trees
finite state
similarity measure
special case
database
expressive power
high levels
tree structures
monadic second order logic