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