On spectra of sentences of monadic second order logic with counting.

Eldar Fischer Johann A. Makowsky

Published in: J. Symb. Log. (2004)

Keyphrases

monadic second order logic
expressive power
regular expressions
data complexity
tree automata
first order logic
multi document summarization
natural language
principal component analysis
metadata
knowledge base
high level
relational databases