Sciweavers

64
Voted
IWPEC
2004
Springer
15 years 2 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