1 - 2 / 2 1 |
1. Nadgradnja tolmača konkatenacijskega programskega jezika za spremljanje izvajanja programa Žiga Putrle, 2017, diplomsko delo/naloga Ključne besede: Forth, tolmač, navidezni stroj, zbiranje podatkov, programski jezik C |
2. Neprotislovnost klasične sintetične teorije izračunljivosti Žiga Putrle, 2023, magistrsko delo Ključne besede: teorija tipov, teorij izračunljivosti, teorija realizabilnosti, dokazovalni pomočniki |