Истраживачи
Gilezan, Silvia
Резултати 61-80 од 119
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2014 | Some Advantages of the Lambda Calculi with Resourse Control | Gilezan, Silvia   ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Binary relations and algebras on multisets | Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2014 | Lambek's computational approach to conjugation | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Preciseness of subtyping on intersection and union types | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Computational approach to conjugation | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Resource control and strong normalisation | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2013 | Živa teorema, Sedrik Vilani | Gilezan, Silvia | Монографија | Мп категорија ће бити приказана накнадно. |
| 2013 | Proof Theory | Gilezan, Silvia ; Barendregt, Henk | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 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 | Reducibility method and logical relations in intuitionistic logic and programming languages | 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ć; | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2012 | Computational interpretation of classical logic with explicit structural rules | Silvia Ghilezan ; Pierre Lescanne; Žunić, Dragiša | Остало | Мп категорија ће бити приказана накнадно. |
| 2012 | Proof Theory Chapter 6C | Gilezan, Silvia | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2012 | Types and Roles for Web Security | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Dezani-Cianciaglini, Mariangiola | Научни чланак | 53M53 - Национални часопис категорије M53 |
| 2012 | The resource control and strong normalisation | Ghilezan, Silvia ; Ivetić, Jelena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |