Истраживачи

Филтрирано по:
Година:  [2010 TO 2019]

Резултати 21-38 од 38
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2014Some Advantages of the Lambda Calculi with Resourse ControlGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneКонференцијски рад
Мп категорија ће бити приказана накнадно.
2014Church-Rosser Theorem for sequent lambda calculiGhilezan, Silvia ; Ivetić, Jelena  ; Likaves, SilviaКонференцијски рад
Мп категорија ће бити приказана накнадно.
2014Approaching substructural term calculi via the resource control calculusGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneКонференцијски рад
Мп категорија ће бити приказана накнадно.
2014Zbirka rešenih zadataka iz verovatnoće i statistikeGilezan, Silvia  ; Lužanin, Zorana  ; Grbić, Tatjana  ; Mihailović, Biljana  ; Nedović, Ljubo  ; Ovcin, Zoran  ; Ivetić, Jelena  ; Дорословачки, Ксенија  Уџбеник
Мп категорија ће бити приказана накнадно.
2014Resource control and intersection types: an intrinsic connectionGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
2014Internationalisation of Doctoral education - a good practiseGilezan, Silvia  ; Ivetić, Jelena  ; Marković, Zoran; Ognjanović, Zoran  ; Pantović, Jovanka  ; Davidović, Tatjana  ; M. Lenisa; Stojaković, Mila  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Constructive approach to relevant and affine term calculiGilezan, Silvia  ; Ivetić, Jelena  ; Pierre Lescanne; Likavec, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Intesection types and resource control in the intuitionistic sequent lambda calculusIvetić, Jelena  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2013Resource control and strong normalisationGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
2013Resource aware computing with proofsGilezan, Silvia  ; Ivetić, Jelena  ; Pierre Lescanne; Likavec, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012A journey through resource control lambda calculi and explicit substitution using intersection typesGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
2012Intersection types for explicit substitution with resource controlIvetić, Jelena  ; Silvia Gilezan  ; Pierre Lescanne; Silvia Likavec  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012The resource control and strong normalisationGhilezan, Silvia  ; Ivetić, Jelena  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2012Characterising Strongly Normalising Intuitionistic TermsSanto, José Espírito; Ivetić, Jelena  ; Likavec, Silvia  Научни чланак
22M22 - Међународни часопис категорије M22
2012Formalni računi sa kontrolom resursaIvetić, Jelena  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2011Intersection types for the resource control lambda calculiSilvia Ghilezan  ; Ivetić, Jelena  ; Silvia Likavec  ; Pierre LescanneКонференцијски рад
Мп категорија ће бити приказана накнадно.
2011Intuitionistic sequent-style calculus with explicit structural rulesGilezan, Silvia  ; Žunić, Dragiša  ; Ivetić, Jelena  ; Lescanne, PierreКонференцијски рад
Мп категорија ће бити приказана накнадно.
2010Computational Interpretations of Some Substructural LogicsIvetić, Jelena  ; Lescanne, PierreКонференцијски рад
Мп категорија ће бити приказана накнадно.