Order-Invariant MSO is Stronger than Counting MSO in the Finite

Tobias Ganzow Sasha Rubin

Published in: CoRR (2007)

Keyphrases

monadic datalog
finite state
regular expressions
databases
data mining
machine learning
genetic algorithm
artificial intelligence
social networks
information systems
knowledge base
case study
multiscale
search algorithm
knowledge representation
fixed order