Předměty
- Optimalizace kódu produkčních překladačůNSWI134 | Matematicko-fyzikální fakulta
- Úvod do ramseyovských prostorů pro kombinatorikyNDMI114 | Matematicko-fyzikální fakulta
- Vybrané kapitoly z holubníkůNDMI115 | Matematicko-fyzikální fakulta
- Interakce teorie modelů a kombinatorikyNDMI117 | Matematicko-fyzikální fakulta
- Seminář z klasifikace homogenních strukturNMAI075 | Matematicko-fyzikální fakulta
- Optimalizace kódu produkčních překladačů 2NSWI181 | Matematicko-fyzikální fakulta
Publikace
- Type-respecting amalgamation and big Ramsey degrees2023 | Matematicko-fyzikální fakulta
- Big Ramsey Degrees of 3-Uniform Hypergraphs Are Finite2022 | Matematicko-fyzikální fakulta
- All those EPPA classes (strengthenings of the Herwig-Lascar theorem)2022 | Matematicko-fyzikální fakulta
- Compiling Files in Parallel: A Study with GCC2022 | Matematicko-fyzikální fakulta
- Ramsey properties and extending partial automorphisms forhbox classes of finite structures2021 | Matematicko-fyzikální fakulta
- Simplicity of the automorphism groups of generalised metric spaces2021 | Matematicko-fyzikální fakulta
- COMPLETING GRAPHS TO METRIC SPACES2021 | Matematicko-fyzikální fakulta
- CONANT'S GENERALISED METRIC SPACES ARE RAMSEY2021 | Matematicko-fyzikální fakulta
- Big Ramsey Degrees and Forbidden Cycles2021 | Matematicko-fyzikální fakulta
- Big Ramsey Degrees of the Generic Partial Order2021 | Matematicko-fyzikální fakulta
Loading network view...
