Inproceedings851: Unterschied zwischen den Versionen
Aus Aifbportal
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 1: | Zeile 1: | ||
| − | {{Publikation | + | {{Publikation Erster Autor |
| − | | | + | |ErsterAutorNachname=Hlineny |
| − | | | + | |ErsterAutorVorname=Petr |
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
Version vom 8. September 2009, 11:13 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
Forschungsgebiet