Inproceedings851: Unterschied zwischen den Versionen
Aus Aifbportal
K (Wikipedia python library) |
(kein Unterschied)
|
Aktuelle Version vom 16. Oktober 2009, 17:30 Uhr
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