Article1196
Aus Aifbportal
Trees, grids, and MSO decidability: From graphs to matroids
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
Forschungsgebiet