Existential MSO over two successors is strictly weaker than over linear orders.

Christian Mathissen

Published in: Theor. Comput. Sci. (2009)

Keyphrases

finite state
regular expressions
database
data sets
neural network
information retrieval
genetic algorithm
piecewise linear