ℹ️
🇬🇧
Search
Search for people relevant for "Structure generation"
Structure generation
Person
Class
Person
Publication
Programmes
doc. Mgr. Jan Hubička Ph.D.
Academic staff at Faculty of Mathematics and Physics
6 classes
43 publications
Classes
class
Introduction to Ramsey spaces for combinatorialists
NDMI114 |
Faculty of Mathematics and Physics
class
Selected topics in pigeonholes
NDMI115 |
Faculty of Mathematics and Physics
class
Interactions between model theory and combinatorics
NDMI117 |
Faculty of Mathematics and Physics
class
Seminar on classification of homogeneous structures
NMAI075 |
Faculty of Mathematics and Physics
class
Code Optimization in Production Compilers
NSWI134 |
Faculty of Mathematics and Physics
class
Code Optimization in Production Compilers 2
NSWI181 |
Faculty of Mathematics and Physics
Publications
publication
CONANT'S GENERALISED METRIC SPACES ARE RAMSEY
2021 |
Faculty of Mathematics and Physics
publication
Type-respecting amalgamation and big Ramsey degrees
2023 |
Faculty of Mathematics and Physics
publication
Big Ramsey Degrees of 3-Uniform Hypergraphs Are Finite
2022 |
Faculty of Mathematics and Physics
publication
All those EPPA classes (strengthenings of the Herwig-Lascar theorem)
2022 |
Faculty of Mathematics and Physics
publication
Compiling Files in Parallel: A Study with GCC
2022 |
Faculty of Mathematics and Physics
publication
Ramsey properties and extending partial automorphisms forhbox classes of finite structures
2021 |
Faculty of Mathematics and Physics
publication
Simplicity of the automorphism groups of generalised metric spaces
2021 |
Faculty of Mathematics and Physics
publication
COMPLETING GRAPHS TO METRIC SPACES
2021 |
Faculty of Mathematics and Physics
publication
Big Ramsey Degrees and Forbidden Cycles
2021 |
Faculty of Mathematics and Physics
publication
Big Ramsey Degrees of the Generic Partial Order
2021 |
Faculty of Mathematics and Physics
Load more publications (33)
Loading network view...