eNauka - pregled
Pregled prema Autor Ivetić, Jelena
Prikaz rezultata 1 do 7 od 7
Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
---|---|---|---|---|
2015 | An optimization of lambda type assignment via resource control | Ivetić, Jelena; Ghilezan, Silvia ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Naučni članak | Mp kategorija će biti prikazana naknadno. |
2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia ; Ivetić, Jelena; Likaves, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2024 | Improving the Monitoring and Control of Egg Vitality of Lymantria dispar Linnaeus 1758 Using an Innovative Device and Procedure for Removing Egg Hairs (✓) | Stojanović, Dejan ; Ranđelović, Dragana ; Ivetić, Jelena; Pap, Predrag ; Zlatković, Milica ; Đilas, Milutin ; Orlović, Saša | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |
2007 | Intersection types for intuitionistic lambda-Gentzen calculus | Ghilezan, Silvia ; Ivetić, Jelena | Naučni članak | Mp kategorija će biti prikazana naknadno. |
2018 | Preface | Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena | Ostalo | Mp kategorija će biti prikazana naknadno. |
2016 | Probabilistic reasoning in type systems | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |