Tomas Jakl

Orcid: 0000-0003-1930-4904

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2023
A categorical account of composition methods in logic.
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.
Log. Methods Comput. Sci., 2022

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

Discrete Density Comonads and Graph Parameters.
Proceedings of the Coalgebraic Methods in Computer Science, 2022

2021
Lovász-Type Theorems and Game Comonads.
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.
CoRR, 2020

A Duality Theoretic View on Limits of Finite Structures.
Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019
Canonical extensions of locally compact frames.
CoRR, 2019

Quotients of d-Frames.
Appl. Categorical Struct., 2019

2018
d-Frames as algebraic duals of bitopological spaces.
PhD thesis, 2018

2017
Free Constructions and Coproducts of d-Frames.
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016
Bitopology and Four-valued Logic.
Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016


  Loading...