HLINĚNÝ, Petr a Detlef SEESE. On Decidability of MSO Theories of Representable Matroids. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004, roč. 3162, s. 96-107. ISSN 0302-9743.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název On Decidability of MSO Theories of Representable Matroids
Autoři HLINĚNÝ, Petr a Detlef SEESE.
Vydání Lecture Notes in Computer Science, Berlin, Heidelberg, Springer-Verlag, 2004, 0302-9743.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.513
Organizační jednotka Fakulta informatiky
UT WoS 000223981800009
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 20. 2. 2008 14:15.
VytisknoutZobrazeno: 28. 4. 2024 06:37