Follow
Tomáš Jakl
Tomáš Jakl
Czech Academy of Sciences & Czech Technical University
Verified email at math.cas.cz - Homepage
Title
Cited by
Cited by
Year
Lovász-Type Theorems and Game Comonads
A Dawar, T Jakl, L Reggio
arXiv preprint arXiv:2105.03274, 2021
402021
Discrete density comonads and graph parameters
S Abramsky, T Jakl, T Paine
International Workshop on Coalgebraic Methods in Computer Science, 23-44, 2022
112022
Bitopology and four-valued logic
T Jakl, A Jung, A Pultr
Electronic Notes in Theoretical Computer Science 325, 201-219, 2016
112016
d-Frames as algebraic duals of bitopological spaces
T Jakl
Univerzita Karlova, Matematicko-fyzikální fakulta, 2018
102018
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems
T Jakl, D Marsden, N Shah
arXiv preprint arXiv:2205.05387, 2022
82022
Tightness relative to some (co) reflections in topology
RN Ball, B Banaschewski, T Jakl, A Pultr, J Walters-Wayland
Quaestiones Mathematicae 39 (3), 421-436, 2016
62016
Quotients of d-frames
T Jakl, A Jung, A Pultr
Applied Categorical Structures 27, 261-275, 2019
52019
A Cook’s tour of duality in logic: from quantifiers, through Vietoris, to measures
M Gehrke, T Jakl, L Reggio
Samson Abramsky on Logic and Structure in Computer Science and Beyond, 129-158, 2023
42023
Canonical extensions of locally compact frames
T Jakl
Topology and its Applications 273, 106976, 2020
42020
Arimaa challenge–Comparission study of MCTS versus alpha-beta methods
T Jakl
Memory 37, 37.5, 2011
42011
A categorical account of composition methods in logic
T Jakl, D Marsden, N Shah
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023
32023
Generalizations of Bilinear Maps--Technical Report
T Jakl, D Marsden, N Shah
arXiv preprint arXiv:2205.05382, 2022
32022
Canonical extensions via fitted sublocales
T Jakl, AL Suarez
arXiv preprint arXiv:2404.18325, 2024
22024
A Duality Theoretic View on Limits of Finite Structures.
M Gehrke, T Jakl, L Reggio
FoSSaCS, 299-318, 2020
22020
Free constructions and coproducts of d-frames
T Jakl, A Jung
arXiv preprint arXiv:1704.04029, 2017
22017
Classification of finite semigroups and categories using computational methods
W Fussner, N Ghannoum, T Jakl, C Simpson
Proceedings of the 5th Conference on Artificial Intelligence and Theorem …, 2020
12020
Some point-free aspects of connectedness
T Jakl
Charles University in Prague, 2013
12013
A categorical account of composition methods in logic (extended version)
T Jakl, D Marsden, N Shah
arXiv preprint arXiv:2405.06664, 2024
2024
Comonadic Account of Feferman-Vaught-Mostowski Theorems
T Jakl, D Marsden, N Shah
complexity 2, 19, 2022
2022
A duality theoretic view on limits of finite structures: Extended version
M Gehrke, T Jakl, L Reggio
Logical Methods in Computer Science 18, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20