eNauka - pregled
Pregled prema Autor Likaves, Silvia
Prikaz rezultata 1 do 1 od 1
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia   ; Ivetić, Jelena; Likaves, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |