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

Tobias Ganzow Sasha Rubin

Published in: STACS (2008)

Keyphrases

monadic datalog
neural network
finite state
databases
data mining
computer vision
computational complexity
special case
np complete