Login / Signup
Computing Measures of Weak-MSO Definable Sets of Trees.
Damian Niwinski
Marcin Przybylko
Michal Skrzypczak
Published in:
ICALP (2020)
Keyphrases
</>
monadic second order logic
tree automata
decision trees
expressive power
regular expressions
finite state
tree structure
data mining
data complexity