Weak MSO+U over infinite trees.

Mikolaj Bojanczyk Szymon Torunczyk

Published in: STACS (2012)

Keyphrases

tree automata
decision trees
regular expressions
tree models
real time
neural network
reinforcement learning
tree structure
finite state
database
relational databases
tree structures
real numbers
finite automata
tree construction