Sciweavers

IWPEC
2004
Springer
14 years 4 months ago
On Decidability of MSO Theories of Representable Matroids
We show that, for every finite field   , the class of all   representable matroids of branch-width at most a constant t has a decidable MSO theory. In the other direction, we p...
Petr Hlinený, Detlef Seese