Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees.

Vince Bárány Lukasz Kaiser Alexander Moshe Rabinovich

Published in: Fundam. Informaticae (2010)

Keyphrases

monadic second order logic
first order logic
tree automata
expressive power
regular expressions
data complexity
knowledge representation
decision trees
query language
pattern matching
databases
tree structure
database
query answering
high level
metadata
data sets