Login / Signup
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