Výpis publikací

2006

1. Trees, grids, and MSO decidability: From graphs to matroids

   HLINĚNÝ, Petr a Detlef SEESE. Trees, grids, and MSO decidability: From graphs to matroids. Theoretical Computer Science. Amsterdam: Elsevier, 2006, roč. 351, č. 3, s. 372-393. ISSN 0304-3975.

   Podrobněji: https://is.muni.cz/publication/589864/cs