On Decidability of MSO Theories of Representable Matroids

• Authors: HLINĚNÝ Petr; SEESE Detlef
• Year of publication: 2004
• Type: Article in Periodical
• Magazine / Source: Lecture Notes in Computer Science
• MU Faculty or unit: Faculty of Informatics
• Field: Informatics