Tomás Jakl
发表
A. Jung,
Tomás Jakl,
2017
.
A. Jung,
A. Pultr,
Tomás Jakl,
2019,
Applied Categorical Structures.
Mai Gehrke,
Luca Reggio,
Tomas Jakl,
2020,
ArXiv.
Tomás Jakl,
Achim Jung Aleš Pultr,
2017
.
A. Dawar,
Luca Reggio,
Tom'avs Jakl,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Dan Marsden,
Nihil Shah,
Tomás Jakl,
2023,
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Mai Gehrke,
Luca Reggio,
Tom'avs Jakl,
2019,
FoSSaCS.
A. Dawar,
Tomás Jakl,
2021
.
Tomás Jakl,
Tomás Jakl,
2018
.
B. Banaschewski,
A. Pultr,
R. Ball,
2016
.
Tom'avs Jakl,
Tomás Jakl,
2019,
Topology and its Applications.
Ales Pultr,
Achim Jung,
Tomás Jakl,
2019,
Appl. Categorical Struct..
Achim Jung,
Tomás Jakl,
A. Jung,
2017,
CALCO.