KIT | KIT-Bibliothek | Impressum | Datenschutz

Trees, grids, and MSO decidability: From graphs to matroids

Seese, D.; Hlineny, P.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Zeitschriftenaufsatz
Jahr 2006
Sprache Englisch
Identifikator ISSN: 0304-3975
KITopen-ID: 1000016104
Erschienen in Theoretical Computer Science
Band 351
Heft 3
Seiten 372-393
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page