Gilezan, Silvia

Тип

Година

102 2000 - 2027
18 1901 - 1999

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 61-80 од 120 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2014	Lambek's computational approach to conjugation	Gilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Approaching substructural term calculi via the resource control calculus	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Preciseness of subtyping on intersection and union types	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Resource control and intersection types: an intrinsic connection	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia	Научни чланак	Мп категорија ће бити приказана накнадно.
2014	Zbirka rešenih zadataka iz verovatnoće i statistike	Gilezan, Silvia ; Lužanin, Zorana ; Grbić, Tatjana ; Mihailović, Biljana ; Nedović, Ljubo ; Ovcin, Zoran ; Ivetić, Jelena ; Дорословачки, Ксенија	Уџбеник	Мп категорија ће бити приказана накнадно.
2014	Internationalisation of Doctoral education - a good practise	Gilezan, Silvia ; Ivetić, Jelena ; Marković, Zoran; Ognjanović, Zoran ; Pantović, Jovanka ; Davidović, Tatjana ; M. Lenisa; Stojaković, Mila	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	On the number of S-threshold functions on not necessarily binary input	Pantović, Jovanka ; Gilezan, Silvia ; Žunić, Joviša	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Dynamic role authorization in multiparty conversations	Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, Jorge; Hugo Torres, Vieira	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2014	Computational approach to conjugation	Gilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2013	Reducibility method and logical relations in intuitionistic logic and programming languages	Gilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2013	Živa teorema, Sedrik Vilani	Gilezan, Silvia	Монографија	Мп категорија ће бити приказана накнадно.
2013	Constructive approach to relevant and affine term calculi	Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2013	History of Mathematical Logic in Serbia	Borisavljević, 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ć;	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2013	Resource control and strong normalisation	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia	Научни чланак	Мп категорија ће бити приказана накнадно.
2013	Resource aware computing with proofs	Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2013	Reducibility method and resource control	Gilezan, Silvia ; Likavec, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2013	Proof Theory	Gilezan, Silvia ; Barendregt, Henk	Поглавље у монографији	Мп категорија ће бити приказана накнадно.
2012	A journey through resource control lambda calculi and explicit substitution using intersection types	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia	Научни чланак	Мп категорија ће бити приказана накнадно.
2012	Intersection types for explicit substitution with resource control	Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2012	The resource control and strong normalisation	Ghilezan, Silvia ; Ivetić, Jelena	Конференцијски рад	Мп категорија ће бити приказана накнадно.