Inproceedings851: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Wikipedia python library) |
||
| Zeile 21: | Zeile 21: | ||
|Link=http://springerlink.com/index/A3JCXYKAPY0C56ET | |Link=http://springerlink.com/index/A3JCXYKAPY0C56ET | ||
|Projekt=CoaSt, | |Projekt=CoaSt, | ||
| − | |Forschungsgruppe= | + | |Forschungsgruppe=Komplexitätsmanagement |
}} | }} | ||
{{Forschungsgebiet Auswahl | {{Forschungsgebiet Auswahl | ||
|Forschungsgebiet=Komplexitätsmanagement | |Forschungsgebiet=Komplexitätsmanagement | ||
}} | }} | ||
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