Tin Adlešić, V. Čačić | |
Matthias Baaz | Globally Sound Analytic Calculi for Quantifier Macros |
M. Batanin, M. Markl, Jovana Obradović | Minimal models for graphs-related operadic algebras |
Vedran Čačić | λsz:s(s(sz)) topics |
Cezary Cieslinski | On the principle of disjunctive correctness |
Šejla Dautović, D. Doder, Z. Ognjanović | Logics for Reasoning about Knowledge and Conditional Probability |
V. Čačić, Marko Horvat, Z. Iljazović | Computable approximations of semicomputable chainable continua |
S. Ghilezan, S. Kašterović, L. Liquori, Bojan Marinković, Z. Ognjanović, T. Stefanović | Federating Digital Contact Tracing using Structured Overlay Networks |
Sebastijan Horvat, T. Perkov, M. Vukovic | n-bisimulation for generalised Veltman semantics |
Z. Iljazović, Lucija Validžić | Computable sequences and isometries |
Simona Kašterović, S. Ghilezan | Towards Logic of Combinatory Logic |
Z. Ognjanović, Angelina Ilić Stepić, A. Perović | A Probabilistic Temporal Epistemic Logic |
Petar Paradžik, Ante Đerek | Restricted Observational Equivalence |
Tamara Stefanović, S. Ghilezan | Differential Privacy and Applications |
Andre Scedrov | Language Models and Relational Models of the Multiplicative-Additive Lambek Calculus |
Zvonimir Šikić | Kneale’s natural deductions as a notational variant of Beth’s tableaus |