Tomás Jakl

ORCID

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 17

Top Venues

CoRR

LICS

FoSSaCS

Appl. Categorical Struct.

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Tomás Jakl, Dan Marsden, Nihil Shah
A categorical account of composition methods in logic. LICS (2023)
Tomás Jakl, Dan Marsden, Nihil Shah
A categorical account of composition methods in logic. CoRR (2023)
Samson Abramsky, Tomás Jakl, Thomas Paine
Discrete Density Comonads and Graph Parameters. CMCS (2022)
Mai Gehrke, Tomás Jakl, Luca Reggio
A duality theoretic view on limits of finite structures: Extended version. Log. Methods Comput. Sci. 18 (1) (2022)
Samson Abramsky, Tomás Jakl, Thomas Paine
Discrete density comonads and graph parameters. CoRR (2022)
Tomás Jakl, Dan Marsden, Nihil Shah
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems. CoRR (2022)
Anuj Dawar, Tomás Jakl, Luca Reggio
Lovász-Type Theorems and Game Comonads. LICS (2021)
Anuj Dawar, Tomás Jakl, Luca Reggio
Lovász-Type Theorems and Game Comonads. CoRR (2021)
Mai Gehrke, Tomás Jakl, Luca Reggio
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures. CoRR (2020)
Mai Gehrke, Tomás Jakl, Luca Reggio
A duality theoretic view on limits of finite structures: Extended version. CoRR (2020)
Mai Gehrke, Tomás Jakl, Luca Reggio
A Duality Theoretic View on Limits of Finite Structures. FoSSaCS (2020)
Mai Gehrke, Tomás Jakl, Luca Reggio
A duality theoretic view on limits of finite structures. CoRR (2019)
Tomás Jakl, Achim Jung, Ales Pultr
Quotients of d-Frames. Appl. Categorical Struct. 27 (3) (2019)
Tomás Jakl
Canonical extensions of locally compact frames. CoRR (2019)
Tomás Jakl, Achim Jung
Free Constructions and Coproducts of d-Frames. CALCO (2017)
Tomás Jakl, Achim Jung
Free constructions and coproducts of d-frames. CoRR (2017)
Tomás Jakl, Achim Jung, Ales Pultr
Bitopology and Four-valued Logic. MFPS (2016)

Tomás Jakl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tomás Jakl