Истраживачи
Gilezan, Silvia
Резултати 61-77 од 77
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2013 | Reducibility method and resource control![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Proof Theory![]() | Gilezan, Silvia | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2012 | Types and Roles for Web Security![]() | Gilezan, Silvia | Научни чланак | 53M53 - Национални часопис категорије M53 |
| 2012 | The resource control and strong normalisation![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Intersection types and related systems![]() | Gilezan, Silvia | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types![]() | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2012 | Intersection types for explicit substitution with resource control![]() | Ivetić, Jelena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Privacy for Linked Data![]() | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Computational interpretation of classical logic with explicit structural rules![]() | Silvia Ghilezan | Остало | Мп категорија ће бити приказана накнадно. |
| 2012 | Računske interpretacije intuicionističke i klasične logike![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Proof Theory Chapter 6C![]() | Gilezan, Silvia | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2011 | Intuitionistic sequent-style calculus with explicit structural rules![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Intersection types for the resource control lambda calculi![]() | Silvia Ghilezan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Resource control calculi![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Types for role-based access control of dynamic web data![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Computational interpretations of logic![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Resource control in sequent lambda calculus![]() | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
