Stage-oe-small.jpg

Inproceedings851

Aus Aifbportal
Version vom 16. Oktober 2009, 17:30 Uhr von Nicole Arlt (Diskussion | Beiträge) (Wikipedia python library)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche


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

CoaSt



Forschungsgruppe

Komplexitätsmanagement


Forschungsgebiet

Komplexitätsmanagement