1 - 2 / 2 1 |
1. Nadgradnja tolmača konkatenacijskega programskega jezika za spremljanje izvajanja programa Žiga Putrle, 2017, bachelor thesis/paper Keywords: Forth, tolmač, navidezni stroj, zbiranje podatkov, programski jezik C |
2. Neprotislovnost klasične sintetične teorije izračunljivosti Žiga Putrle, 2023, master's thesis/paper Keywords: teorija tipov, teorij izračunljivosti, teorija realizabilnosti, dokazovalni pomočniki |