Capturing MSO with One Quantifier.

Anuj Dawar Luc Segoufin

Published in: Fields of Logic and Computation II (2015)

Keyphrases

quantifier elimination
multi agent
regular expressions
finite state
databases
real world
multiscale
data structure
multi agent systems
computational complexity
knowledge representation
object oriented