KIT | KIT-Bibliothek | Impressum

On Decidability of MSO Theories of Representable Matroids

Seese, D.; Hlineny, P.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2004
Sprache Englisch
Identifikator ISBN: 978-3-540-23071-7
ISSN: 0302-9743
KITopen ID: 1000018486
Erschienen in Parameterized and Exact Computation. First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings. Ed.: R. Downey
Verlag Springer, Berlin
Seiten 96 - 107
Serie Lecture Notes in Computer Science ; 3162
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page