Výsledky vyhľadávania
Názov Větvěná a stromová šířka a výpočetní složitost na matroidech Aut.údaje Petr Hliněný Autor Hliněný Petr UMBFP10 - Katedra matematiky
Zdroj.dok. Současné trendy teoretické informatiky. - Praha : Institut teoretické informatiky, MFF Univerzita Karlova, 2003 Kľúč.slová matroidy vetvená šírka MSO logika Jazyk dok. čeština Krajina Česká republika Systematika 51 Kategória publikačnej činnosti AFE Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids Súbež.n. Vetvená šírka, parsovacie stromy a MSO logika pre matroidy Podnázov (Extended abstracts) Aut.údaje Petr Hliněný Autor Hliněný Petr UMBFP10 - Katedra matematiky
Zdroj.dok. Theoretical Aspects of Computer Science SCATS 2003 : Lecture Notes in Computer Science 2607. pp. 319-330. - : Springer Verlag, 2003 Kľúč.slová matroidy vetvená šírka MSO logika Jazyk dok. angličtina Krajina Nemecko Systematika 51 Kategória publikačnej činnosti AEC Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov On Matroid Properties Definable in the MSO Logic Súbež.n. O matroidových vlastnostiach definovaných v MSO logike Aut.údaje Petr Hliněný Autor Hliněný Petr UMBFP10 - Katedra matematiky
Zdroj.dok. Mathematical Foundations of Computer Science MFCS 2003 : LNCS 2747. pp. 470-479. - : Springer Verlag, 2003 Kľúč.slová matroidy MSO logika vetvená šírka Jazyk dok. angličtina Krajina Nemecko Systematika 51 Kategória publikačnej činnosti AEC Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ 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Ť