Aktuelle Version vom 16. Oktober 2009, 22:45 Uhr

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

Veröffentlicht: 2006

Journal: Theoretical Computer Science
Nummer: 3
Seiten: 372-393
Verlag: Elsevier
Volume: 351

Referierte Veröffentlichung

Forschungsgruppe

Forschungsgebiet