Истраживачи
Ivetić, Jelena
Година
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2011 | Intuitionistic sequent-style calculus with explicit structural rules | Gilezan, Silvia   ; Žunić, Dragiša ; Ivetić, Jelena ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Computational interpretations of some substructural logics | Ivetić, Jelena ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2007 | Intersection types for λGtz-calculus | Ghilezan, Silvia ; Ivetić, Jelena | Научни чланак | Мп категорија ће бити приказана накнадно. |