Истраживачи
Ivetić, Jelena
Резултати 21-38 од 38
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2014 | Some Advantages of the Lambda Calculi with Resourse Control![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Church-Rosser Theorem for sequent lambda calculi![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Approaching substructural term calculi via the resource control calculus![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Zbirka rešenih zadataka iz verovatnoće i statistike![]() | Gilezan, Silvia | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2014 | Resource control and intersection types: an intrinsic connection![]() | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2014 | Internationalisation of Doctoral education - a good practise![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Constructive approach to relevant and affine term calculi![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Intesection types and resource control in the intuitionistic sequent lambda calculus![]() | Ivetić, Jelena | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2013 | Resource control and strong normalisation![]() | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2013 | Resource aware computing with proofs![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types![]() | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2012 | Intersection types for explicit substitution with resource control![]() | Ivetić, Jelena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | The resource control and strong normalisation![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Characterising Strongly Normalising Intuitionistic Terms![]() | Santo, José Espírito; Ivetić, Jelena | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2012 | Formalni računi sa kontrolom resursa![]() | Ivetić, Jelena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Intersection types for the resource control lambda calculi![]() | Silvia Ghilezan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Intuitionistic sequent-style calculus with explicit structural rules![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Computational Interpretations of Some Substructural Logics![]() | Ivetić, Jelena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
