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 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
Názov Computational Aspects of Representable Matroids Súbež.n. Výpočtové aspekty reprezentovateľných matroidov Podnázov habilitačná práca Aut.údaje Peter Hliněný Autor Hliněný Petr
Korp. VŠB- Technická univerzita Ostrava . Fakulta Elektrotechniky a Informatiky , Ostrava, Česká republika Vyd.údaje Ostrava : VŠB - Technická univerzita : Fakulta elektrotechniky a informatiky , 2003. - 107 s. Poznámka Fakulta Elektrotechniky a informatiky VŠB Technické univerzity v Ostravě Kľúč.slová matroidy MSO logika vetvená šírka výpočtové generovanie Jazyk dok. angličtina Krajina Česká republika Systematika 51 Kategória publikačnej činnosti DAI Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ 
book