On Decidability of MSO Theories of Representable Matroids.

Petr Hlinený Detlef Seese

Published in: IWPEC (2004)

Keyphrases

description logics
independent set
finite state
query answering
cognitive psychology
data sets
artificial intelligence
information systems
database systems
objective function
markov chain
data exchange
regular expressions
data complexity
submodular functions