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