Publikace ASEP
0579478 - MÚ 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Jakl, Tomáš - Marsden, D. - Shah, N.
A categorical account of composition methods in logic.
38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings. New York: IEEE, 2023, s. 1-14. ISBN 979-8-3503-3588-0.
[LICS 2023: Annual ACM/IEEE Symposium on Logic in Computer Science /38./. Boston (US), 26.06.2023-29.06.2023]
Institucionální podpora: RVO:67985840
Klíčová slova: computer circuits * equivalence classes * finite model theory
Obor OECD: Pure mathematics
https://doi.org/10.1109/LICS56636.2023.10175751
Trvalý odkaz:
https://hdl.handle.net/11104/0348314
0641339 - MÚ 2026 RIV DE eng J - Článek v odborném periodiku
Jakl, Tomáš - Marsden, D. - Shah, N.
A categorical account of composition methods in logic.
Logical Methods in Computer Science. Roč. 21, č. 4 (2025), č. článku 10. ISSN 1860-5974. E-ISSN 1860-5974
Grant CEP: GA ČR(CZ) GX20-31529X
Institucionální podpora: RVO:67985840
Klíčová slova: category theory * finite model theory * Feferman-Vaught-Mostowski theorems * composition methods
Obor OECD: Pure mathematics
Impakt faktor: 1, rok: 2024 ; AIS: 0.361, rok: 2024
Způsob publikování: Open access
https://doi.org/10.46298/lmcs-21(4:10)2025
Trvalý odkaz:
https://hdl.handle.net/11104/0371520
0641331 - MÚ 2026 RIV DE eng J - Článek v odborném periodiku
Jakl, Tomáš - Suarez, A. L.
Canonical extensions via fitted sublocales.
Applied Categorical Structures. Roč. 33, č. 2 (2025), č. článku 10. ISSN 0927-2852. E-ISSN 1572-9095
Grant CEP: GA ČR(CZ) GX20-31529X
Institucionální podpora: RVO:67985840
Klíčová slova: pointfree topology * sublocales * lattice theory * canonical extensions
Obor OECD: Pure mathematics
Impakt faktor: 0.5, rok: 2024 ; AIS: 0.474, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1007/s10485-025-09802-6
Jakl, Tomáš
Trvalý odkaz:
https://hdl.handle.net/11104/0371513