Researchers

еНаука >  Истраживачи >  Gilezan, Silvia

Gilezan, Silvia

Резултати 61-80 од 120
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2014Lambek's computational approach to conjugationGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Approaching substructural term calculi via the resource control calculusGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneКонференцијски рад
Мп категорија ће бити приказана накнадно.
2014Preciseness of subtyping on intersection and union typesDezani-Ciancaglini, Mariangiola; Ghilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Resource control and intersection types: an intrinsic connectionGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
2014Zbirka rešenih zadataka iz verovatnoće i statistikeGilezan, Silvia  ; Lužanin, Zorana  ; Grbić, Tatjana  ; Mihailović, Biljana  ; Nedović, Ljubo  ; Ovcin, Zoran  ; Ivetić, Jelena  ; Дорословачки, Ксенија  Уџбеник
Мп категорија ће бити приказана накнадно.
2014Internationalisation of Doctoral education - a good practiseGilezan, Silvia  ; Ivetić, Jelena  ; Marković, Zoran; Ognjanović, Zoran  ; Pantović, Jovanka  ; Davidović, Tatjana  ; M. Lenisa; Stojaković, Mila  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014On the number of S-threshold functions on not necessarily binary inputPantović, Jovanka  ; Gilezan, Silvia  ; Žunić, Joviša  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2014Dynamic role authorization in multiparty conversationsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Perez, Jorge; Hugo Torres, VieiraКонференцијски рад
Мп категорија ће бити приказана накнадно.
2014Computational approach to conjugationGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Reducibility method and logical relations in intuitionistic logic and programming languagesGilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Živa teorema, Sedrik VilaniGilezan, Silvia  Монографија
Мп категорија ће бити приказана накнадно.
2013Constructive approach to relevant and affine term calculiGilezan, Silvia  ; Ivetić, Jelena  ; Pierre Lescanne; Likavec, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013History of Mathematical Logic in SerbiaBorisavljević, Mirjana  ; Đorđe Vukomanović; Gilezan, Silvia  ; Janičić, Predrag Đ.  ; Krapež, Aleksandar  ; Kurilić, Miloš S.  ; Zoran Marković; Žarko Mijajlović; Ognjanović, Zoran  ; Pantović, Jovanka  ;
Petrić, Zoran  ; Miomir Stanković; Stanković, Radomir  ; Ivan Stojmenović;
Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2013Resource control and strong normalisationGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
2013Resource aware computing with proofsGilezan, Silvia  ; Ivetić, Jelena  ; Pierre Lescanne; Likavec, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Reducibility method and resource controlGilezan, Silvia  ; Likavec, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2013Proof TheoryGilezan, Silvia  ; Barendregt, HenkПоглавље у монографији
Мп категорија ће бити приказана накнадно.
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  Конференцијски рад
Мп категорија ће бити приказана накнадно.