Inproceedings851
Aus Aifbportal
On decidability of MSO theories of representable matroids
On decidability of MSO theories of representable matroids
Published: 2004
Herausgeber: Rod Downey, Michael Fellows, Frank Dehne
Buchtitel: Parameterized and Exact Computation, First International Workshop, IWPEC 2004, Bergen, Norway, September 14 - 17, 2004, Proceedings
Reihe: Lecture Notes in computer Science
Seiten: 96 - 107
Verlag: Springer-Verlag Berlin, Heidelberg
Referierte Veröffentlichung
BibTeX
Weitere Informationen unter: Link
Projekt
Forschungsgruppe
Forschungsgebiet