Login / Signup
Weak MSO+U with Path Quantifiers over Infinite Trees.
Mikolaj Bojanczyk
Published in:
CoRR (2014)
Keyphrases
</>
tree automata
decision trees
finite state
regular expressions
tree structure
endpoints
tree construction
shortest path
knowledge representation
xml data
first order logic
optimal path
tree structures
phylogenetic trees
monadic second order logic
weak signal