"Oum, Sang-il" . "We introduce a notion of locally bounded branch-width and we show that testing first order properties for matroids representable over finite fields that have locally bounded branch-width is fixed parameter tractable."@en . "Kr\u00E1l, Daniel" . . "Automata, Languages, and Programming - 39th International Colloquium" . . . . . . . "978-3-642-31584-8" . "23520" . . . . . . "RIV/49777513:23520/12:43916760!RIV13-GA0-23520___" . "Springer-Verlag" . "[B64B032AE031]" . . "Deciding first order properties of matroids" . "I, P(GAP202/11/0196)" . "1"^^ . . "3"^^ . "12"^^ . "129753" . "Gaven\u010Diak, Tom\u00E1\u0161" . . . "Deciding first order properties of matroids"@en . "RIV/49777513:23520/12:43916760" . "Deciding first order properties of matroids" . "2012-07-09+02:00"^^ . "Berlin" . . . "branch-width; first order logic; matroid algorithm"@en . "Deciding first order properties of matroids"@en . "Warwick" . "We introduce a notion of locally bounded branch-width and we show that testing first order properties for matroids representable over finite fields that have locally bounded branch-width is fixed parameter tractable." .