еНаука - преглед
Преглед према Аутор Ivetić, Jelena
Приказ резултата 1 до 7 од 7
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2015 | An optimization of lambda type assignment via resource control | Ivetić, Jelena; Ghilezan, Silvia   ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia ; Ivetić, Jelena; Likaves, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2007 | Intersection types for intuitionistic lambda-Gentzen calculus | Ghilezan, Silvia ; Ivetić, Jelena | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2018 | Preface | Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena | Остало | Мп категорија ће бити приказана накнадно. |
| 2016 | Probabilistic reasoning in type systems | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |