activity
20162021
most citedA Constructive Proof of Cut Elimination for a System of Full Second Order Logic

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.CYShow all

1 paper · 1 filter

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…