Tomas Jakl

21 papers A* 2B 3Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
A categorical perspective on constraint satisfaction: The wonderland of adjunctions.
CoRR
Maximilian Hadek, Tomas Jakl, Jakub Oprsal
2025 J jnl
Canonical extensions via fitted sublocales.
Appl. Categorical Struct.
Tomas Jakl, Anna Laura Suarez
2024 J jnl
A categorical account of composition methods in logic (extended version).
CoRR
Tomas Jakl, Dan Marsden, Nihil Shah
2023 A* conf
A categorical account of composition methods in logic.
LICS
Tomas Jakl, Dan Marsden, Nihil Shah
2023 J jnl
A categorical account of composition methods in logic.
CoRR
Tomas Jakl, Dan Marsden, Nihil Shah
2022 J jnl
A duality theoretic view on limits of finite structures: Extended version.
Log. Methods Comput. Sci.
Mai Gehrke, Tomas Jakl, Luca Reggio
2022 J jnl
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems.
CoRR
Tomas Jakl, Dan Marsden, Nihil Shah
2022 — conf
Discrete Density Comonads and Graph Parameters.
CMCS
Samson Abramsky, Tomas Jakl, Thomas Paine
2022 J jnl
Discrete density comonads and graph parameters.
CoRR
Samson Abramsky, Tomas Jakl, Thomas Paine
2021 A* conf
Lovász-Type Theorems and Game Comonads.
LICS
Anuj Dawar, Tomas Jakl, Luca Reggio
2021 J jnl
Lovász-Type Theorems and Game Comonads.
CoRR
Anuj Dawar, Tomas Jakl, Luca Reggio
2020 J jnl
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures.
CoRR
Mai Gehrke, Tomas Jakl, Luca Reggio
2020 B conf
A Duality Theoretic View on Limits of Finite Structures.
FoSSaCS
Mai Gehrke, Tomas Jakl, Luca Reggio
2020 J jnl
A duality theoretic view on limits of finite structures: Extended version.
CoRR
Mai Gehrke, Tomas Jakl, Luca Reggio
2019 J jnl
A duality theoretic view on limits of finite structures.
CoRR
Mai Gehrke, Tomas Jakl, Luca Reggio
2019 J jnl
Canonical extensions of locally compact frames.
CoRR
Tomas Jakl
2019 J jnl
Quotients of d-Frames.
Appl. Categorical Struct.
Tomas Jakl, Achim Jung, Ales Pultr
2018 — —
d-Frames as algebraic duals of bitopological spaces.
Tomas Jakl
2017 B conf
Free Constructions and Coproducts of d-Frames.
CALCO
Tomas Jakl, Achim Jung
2017 J jnl
Free constructions and coproducts of d-frames.
CoRR
Tomas Jakl, Achim Jung
2016 B conf
Bitopology and Four-valued Logic.
MFPS
Tomas Jakl, Achim Jung, Ales Pultr