On Decidability of MSO Theories of Representable Matroids

HLINĚNÝ, Petr and Detlef SEESE. On Decidability of MSO Theories of Representable Matroids. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004, vol. 3162, p. 96-107. ISSN 0302-9743.

Basic information

Original name

On Decidability of MSO Theories of Representable Matroids

Authors

HLINĚNÝ, Petr and Detlef SEESE

Edition

Lecture Notes in Computer Science, Berlin, Heidelberg, Springer-Verlag, 2004, 0302-9743

---

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Germany

Confidentiality degree

není předmětem státního či obchodního tajemství

Impact factor

Impact factor: 0.513

Organization unit

Faculty of Informatics

UT WoS

000223981800009

Tags

International impact, Reviewed