Tomas Jakl

According to our database, Tomas Jakl authored at least 13 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A categorical account of composition methods in logic (extended version).

Tomas Jakl, Dan Marsden, Nihil Shah

CoRR, 2024

2023

A categorical account of composition methods in logic.

Tomas Jakl, Dan Marsden, Nihil Shah

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

A duality theoretic view on limits of finite structures: Extended version.

Mai Gehrke, Tomas Jakl, Luca Reggio

Log. Methods Comput. Sci., 2022

A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems.

Tomas Jakl, Dan Marsden, Nihil Shah

CoRR, 2022

Discrete Density Comonads and Graph Parameters.

Samson Abramsky, Tomas Jakl, Thomas Paine

Proceedings of the Coalgebraic Methods in Computer Science, 2022

2021

Lovász-Type Theorems and Game Comonads.

Anuj Dawar, Tomas Jakl, Luca Reggio

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures.

Mai Gehrke, Tomas Jakl, Luca Reggio

CoRR, 2020

A Duality Theoretic View on Limits of Finite Structures.

Mai Gehrke, Tomas Jakl, Luca Reggio

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

Canonical extensions of locally compact frames.

Tomas Jakl

CoRR, 2019

Quotients of d-Frames.

Tomas Jakl, Achim Jung, Ales Pultr

Appl. Categorical Struct., 2019

2018

d-Frames as algebraic duals of bitopological spaces.

Tomas Jakl

PhD thesis, 2018

2017

Free Constructions and Coproducts of d-Frames.

Tomas Jakl, Achim Jung

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Bitopology and Four-valued Logic.

Tomas Jakl, Achim Jung, Ales Pultr

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016