1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2021
Is Complexity Important for Philosophy of Mind?
Kristina Šekrst, Sandro Skansi
Computational complexity has often been ignored in philosophy of mind, in philosophical artificial intelligence studies. The purpose of this paper is threefold. First and foremost,…
cs.CY2019
A Lost Croatian Cybernetic Machine Translation Program
Sandro Skansi, Leo Mršić, Ines Skelac
We are exploring the historical significance of research in the field of machine translation conducted by Bulcsu Laszlo, Croatian linguist, who was a pioneer in machine translation…
math.LO2016★ 1 cited
A Constructive Proof of Cut Elimination for a System of Full Second Order Logic
Sandro Skansi
In this paper we present a constructive proof of cut elimination for a system of full second order logic with the structural rules absorbed and using sets instead of sequences. The…