Researchers
Gilezan, Silvia
Results 61-80 of 119
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2014 | Binary relations and algebras on multisets | Ghilezan, Silvia   ; Pantović, Jovanka ; Vojvodic, Gradimir | Article | 23M23 |
| 2014 | Lambek's computational approach to conjugation | Gilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2014 | Preciseness of subtyping on intersection and union types | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2014 | Dynamic role authorization in multiparty conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, Jorge; Hugo Torres, Vieira | Conference Paper | Mp. category will be shown later |
| 2014 | On the number of S-threshold functions on not necessarily binary input | Pantović, Jovanka ; Gilezan, Silvia ; Žunić, Joviša | Conference Paper | Mp. category will be shown later |
| 2014 | Internationalisation of Doctoral education - a good practise | Gilezan, Silvia ; Ivetić, Jelena ; Marković, Zoran; Ognjanović, Zoran ; Pantović, Jovanka ; Davidović, Tatjana ; M. Lenisa; Stojaković, Mila | Conference Paper | Mp. category will be shown later |
| 2014 | Computational approach to conjugation | Gilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2013 | Živa teorema, Sedrik Vilani | Gilezan, Silvia | Monograph | Mp. category will be shown later |
| 2013 | Resource aware computing with proofs | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2013 | Resource control and strong normalisation | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Article | Mp. category will be shown later |
| 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ć; | Book parts | Mp. category will be shown later |
| 2013 | Reducibility method and logical relations in intuitionistic logic and programming languages | Gilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2013 | Reducibility method and resource control | Gilezan, Silvia ; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2013 | Proof Theory | Gilezan, Silvia ; Barendregt, Henk | Book parts | Mp. category will be shown later |
| 2012 | Computational interpretation of classical logic with explicit structural rules | Silvia Ghilezan ; Pierre Lescanne; Žunić, Dragiša | Other | Mp. category will be shown later |
| 2012 | Types and Roles for Web Security | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Dezani-Cianciaglini, Mariangiola | Article | 53M53 |
| 2012 | The resource control and strong normalisation | Ghilezan, Silvia ; Ivetić, Jelena | Conference Paper | Mp. category will be shown later |
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Article | Mp. category will be shown later |