Quantifying over Trees in Monadic Second-Order Logic.

Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron

Published in: CoRR (2023)

Keyphrases

monadic second order logic
tree automata
expressive power
regular expressions
data complexity
first order logic
decision trees
query language
finite automata
artificial intelligence
low level
query evaluation
computational complexity
search space
learning algorithm
xml schema
finite state