On the Decidability of MSO+U on Infinite Trees.

Mikolaj Bojanczyk Tomasz Gogacz Henryk Michalewski Michal Skrzypczak

Published in: ICALP (2) (2014)

Keyphrases

tree automata
description logics
decision trees
tree structure
finite state
query answering
regular expressions
finite sets
probabilistic model
monadic second order logic
databases
labeled trees
tree models
tree construction
expert systems
learning algorithm
machine learning