Tomáš Jakl
Tomáš Jakl
Verified email at cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
d-Frames as algebraic duals of bitopological spaces
T Jakl
Univerzita Karlova, Matematicko-fyzikální fakulta, 2018
72018
Bitopology and Four-valued Logic.
T Jakl, A Jung, A Pultr
MFPS, 201-219, 2016
62016
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
42016
Quotients of d-Frames
T Jakl, A Jung, A Pultr
Applied Categorical Structures 27 (3), 261-275, 2019
32019
Arimaa challenge–Comparission study of MCTS versus alpha-beta methods
T Jakl
Memory 37, 37.5, 2011
32011
Free constructions and coproducts of d-frames
T Jakl, A Jung
arXiv preprint arXiv:1704.04029, 2017
22017
A duality theoretic view on limits of finite structures
M Gehrke, T Jakl, L Reggio
International Conference on Foundations of Software Science and Computation …, 2020
12020
Classification of finite semigroups and categories using computational methods
W Fussner, N Ghannoum, T Jakl, C Simpson
5th Conference on Artificial Intelligence and Theorem Proving AITP 2020, 2020
2020
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
M Gehrke, T Jakl, L Reggio
arXiv preprint arXiv:2007.15415, 2020
2020
Canonical extensions of locally compact frames
T Jakl
Topology and its Applications 273, 106976, 2020
2020
Free constructions and quotients of d-frames
T Jakl, VI ToLo
2018
Algebraic and topological methods in computer science
T Jakl
2015
Some point-free aspects of connectedness
T Jakl
Charles University in Prague, 2013
2013
A pointfree account of Carathéodory’s Extension Theorem
T Jakl
A Vietoris functor for bispaces and d-frames
T Jakl
The system can't perform the operation now. Try again later.
Articles 1–15