Prohlížení dle autora "Seese, Detlef"
-
On decidability of MSO theories of representable matroids
Hliněný, Petr; Seese, Detlef (Parameterized and exact computation : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004. Proceedings. 2006, p. 96-107.) -
Trees, grids, and MSO decidability: From graphs to matroids
Hliněný, Petr; Seese, Detlef (Theoretical Computer Science. 2006, vol. 351, issue 3, p. 372-393.) -
Width parameters beyond tree-width and their applications
Hliněný, Petr; Oum, Sang-il; Seese, Detlef; Gottlob, Georg (The Computer Journal. 2008. vol. 51, no. 3, p. 326-362.)