Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees

Amélie Gheerbrant Balder ten Cate

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

tree automata
monadic second order logic
finite automata
decision trees
data complexity
decision procedures
natural language
data management
expressive power