Další formáty:
BibTeX
LaTeX
RIS
@article{575316, author = {Hliněný, Petr and Seese, Detlef}, article_location = {Berlin, Heidelberg}, language = {eng}, issn = {0302-9743}, journal = {Lecture Notes in Computer Science}, title = {On Decidability of MSO Theories of Representable Matroids}, volume = {3162}, year = {2004} }
TY - JOUR ID - 575316 AU - Hliněný, Petr - Seese, Detlef PY - 2004 TI - On Decidability of MSO Theories of Representable Matroids JF - Lecture Notes in Computer Science VL - 3162 SP - 96 EP - 96 PB - Springer-Verlag SN - 03029743 ER -
HLINĚNÝ, Petr a Detlef SEESE. On Decidability of MSO Theories of Representable Matroids. \textit{Lecture Notes in Computer Science}. Berlin, Heidelberg: Springer-Verlag, 2004, roč.~3162, s.~96-107. ISSN~0302-9743.
|