Předměty
- Výroková a predikátová logika +1NAIL062 | Matematicko-fyzikální fakulta
- Logické programování 1NAIL076 | Matematicko-fyzikální fakulta
- Lambda-kalkulus a funkcionální programování 1NAIL078 | Matematicko-fyzikální fakulta
- Seminář paralelní algoritmyNTIN004 | Matematicko-fyzikální fakulta
- Struktury v hyperkrychlíchNTIN097 | Matematicko-fyzikální fakulta
Publikace
- Pattern-Avoiding Binary Trees - Generation, Counting, and Bijections2023 | Matematicko-fyzikální fakulta
- The Hamilton Compression of Highly Symmetric Graphs2022 | Matematicko-fyzikální fakulta
- On the central levels problem +12020 | Matematicko-fyzikální fakulta
- Trimming and gluing Gray codes2018 | Matematicko-fyzikální fakulta
- Modelling simultaneous broadcasting by level-disjoint partitions2018 | Matematicko-fyzikální fakulta
- Extending perfect matchings to Gray codes with prescribed ends2018 | Matematicko-fyzikální fakulta
- A short proof of the middle levels theorem2018 | Matematicko-fyzikální fakulta
- Trimming and gluing gray codes2017 | Matematicko-fyzikální fakulta
- Hamiltonian Laceability of Hypercubes Without Isometric Subgraphs2016 | Matematicko-fyzikální fakulta
- Linear extension diameter of level induced subposets of the Boolean lattice2014 | Matematicko-fyzikální fakulta
Loading network view...