Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences.

Jakub Gajarský Petr Hlinený

Published in: FSTTCS (2012)

Keyphrases

decision trees
tree automata
finite state
machine learning
search engine
case study
computational complexity
fixed number