Stage-oe-small.jpg

Inproceedings851

Aus Aifbportal
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