On Decidability of MSO Theories of Representable Matroids

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.

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

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