еНаука - преглед
Преглед према Аутор 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |