A Complete Axiomatization of MSO on Infinite Trees.

Anupam Das Colin Riba

Published in: LICS (2015)

Keyphrases

complete axiomatization
tree automata
decision trees
regular expressions
finite state
tree structure
monadic second order logic
expressive power
database
database systems
relational databases
spatial databases
data complexity
inclusion dependencies