Stage-oe-small.jpg

Inproceedings851

Aus Aifbportal
Version vom 8. September 2009, 11:13 Uhr von Nicole Arlt (Diskussion | Beiträge) (Added from ontology)
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



Forschungsgebiet

Komplexitätsmanagement