Истраживачи
Gilezan, Silvia
Резултати 41-60 од 77
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2015 | Linked data privacy![]() | Jakšić, Svetlana | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2015 | Intersection Types Fit Well with Resource Control![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Finite vs Infinite - 'A lesson on scientific rigor and mathematical preciseness![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Lambek's computational approach to conjugation![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Resource control and intersection types: an intrinsic connection![]() | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2014 | Internationalisation of Doctoral education - a good practise![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | On the number of S-threshold functions on not necessarily binary input![]() | Pantović, Jovanka | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Approaching substructural term calculi via the resource control calculus![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Preciseness of subtyping on intersection and union types![]() | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Some Advantages of the Lambda Calculi with Resourse Control![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Binary relations and algebras on multisets![]() | Ghilezan, Silvia | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2014 | Zbirka rešenih zadataka iz verovatnoće i statistike![]() | Gilezan, Silvia | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2014 | Dynamic role authorization in multiparty conversations![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Computational approach to conjugation![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Živa teorema, Sedrik Vilani![]() | Gilezan, Silvia | Монографија | Мп категорија ће бити приказана накнадно. |
| 2013 | Reducibility method and logical relations in intuitionistic logic and programming languages![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Constructive approach to relevant and affine term calculi![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | History of Mathematical Logic in Serbia![]() | Borisavljević, Mirjana | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2013 | Resource aware computing with proofs![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Resource control and strong normalisation![]() | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
