Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

Inproceedings851

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

On decidability of MSO theories of representable matroids


Petr Hlineny, Detlef Seese



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