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

Kocsis ZA, 2025, 'Proof-theoretic methods in quantifier-free definability', Annals of Pure and Applied Logic, 176, http://dx.doi.org/10.1016/j.apal.2025.103555

Kocsis ZA, 2024, 'Apartness relations between propositions', Mathematical Logic Quarterly, 70, pp. 414 - 428, http://dx.doi.org/10.1002/malq.202300055

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

Brownlee AEI; Swan J; Senington R; Kocsis ZA, 2020, 'Conflict-free routing of multi-stop warehouse trucks', Optimization Letters, 14, pp. 1459 - 1470, http://dx.doi.org/10.1007/s11590-019-01453-6

Swan J; Krawiec K; Kocsis ZA, 2019, 'Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire', Genetic Programming and Evolvable Machines, 20, pp. 327 - 350, http://dx.doi.org/10.1007/s10710-019-09347-3

Kocsis ZA; Swan J, 2018, 'Genetic Programming + Proof Search = Automatic Improvement', Journal of Automated Reasoning, 60, pp. 157 - 176, http://dx.doi.org/10.1007/s10817-017-9409-5

Back to profile page