Search results
Title Větvěná a stromová šířka a výpočetní složitost na matroidech Author info Petr Hliněný Author Hliněný Petr UMBFP10 - Katedra matematiky
Source document Současné trendy teoretické informatiky. - Praha : Institut teoretické informatiky, MFF Univerzita Karlova, 2003 Keywords matroidy vetvená šírka MSO logika Language Czech Country Czech Republic systematics 51 Public work category AFE Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ 
article
Title Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids Par.title Vetvená šírka, parsovacie stromy a MSO logika pre matroidy Subtitle (Extended abstracts) Author info Petr Hliněný Author Hliněný Petr UMBFP10 - Katedra matematiky
Source document Theoretical Aspects of Computer Science SCATS 2003 : Lecture Notes in Computer Science 2607. pp. 319-330. - : Springer Verlag, 2003 Keywords matroidy vetvená šírka MSO logika Language English Country Germany systematics 51 Public work category AEC Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ article
Title Computational Aspects of Representable Matroids Par.title Výpočtové aspekty reprezentovateľných matroidov Subtitle habilitačná práca Author info Peter Hliněný Author Hliněný Petr
Corporation VŠB- Technická univerzita Ostrava . Fakulta Elektrotechniky a Informatiky , Ostrava, Česká republika Issue data Ostrava : VŠB - Technická univerzita : Fakulta elektrotechniky a informatiky , 2003. - 107 s. Note Fakulta Elektrotechniky a informatiky VŠB Technické univerzity v Ostravě Keywords matroidy MSO logika vetvená šírka výpočtové generovanie Language English Country Czech Republic systematics 51 Public work category DAI Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ 
book
Title On Matroid Properties Definable in the MSO Logic Par.title O matroidových vlastnostiach definovaných v MSO logike Author info Petr Hliněný Author Hliněný Petr UMBFP10 - Katedra matematiky
Source document Mathematical Foundations of Computer Science MFCS 2003 : LNCS 2747. pp. 470-479. - : Springer Verlag, 2003 Keywords matroidy MSO logika vetvená šírka Language English Country Germany systematics 51 Public work category AEC Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ article