By Dr Zoltan Kocsis

Journal articles

Bumpus BM; Kocsis ZA, 2025, 'DEGREE of SATISFIABILITY in HEYTING ALGEBRAS', Journal of Symbolic Logic, 90, pp. 533 - 551, http://dx.doi.org/10.1017/jsl.2024.2

Bumpus BM; Kocsis ZA, 2023, 'Spined categories: Generalizing tree-width beyond graphs', European Journal of Combinatorics, 114, http://dx.doi.org/10.1016/j.ejc.2023.103794

Back to profile page