Login / Signup
Weak MSO+U with Path Quantifiers over Infinite Trees.
Mikolaj Bojanczyk
Published in:
ICALP (2) (2014)
Keyphrases
</>
tree automata
decision trees
first order logic
regular expressions
natural language
shortest path
tree construction
tree models
tree structures
neural network
finite state
root node
labeled trees
minimum cost path