Istraživači
Gilezan, Silvia
Rezultati 61-80 od 120
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia   ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Internationalisation of Doctoral education - a good practise | Gilezan, Silvia ; Ivetić, Jelena ; Marković, Zoran; Ognjanović, Zoran ; Pantović, Jovanka ; Davidović, Tatjana ; M. Lenisa; Stojaković, Mila | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | On the number of S-threshold functions on not necessarily binary input | Pantović, Jovanka ; Gilezan, Silvia ; Žunić, Joviša | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Resource control and intersection types: an intrinsic connection | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2014 | Lambek's computational approach to conjugation | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Some Advantages of the Lambda Calculi with Resourse Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Binary relations and algebras on multisets | Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir | Naučni članak | 23M23 - Međunarodni časopis kategorije M23 |
| 2014 | Dynamic role authorization in multiparty conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, Jorge; Hugo Torres, Vieira | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Computational approach to conjugation | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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ć; | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2013 | Živa teorema, Sedrik Vilani | Gilezan, Silvia | Monografija | Mp kategorija će biti prikazana naknadno. |
| 2013 | Reducibility method and logical relations in intuitionistic logic and programming languages | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Resource control and strong normalisation | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2013 | Resource aware computing with proofs | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Reducibility method and resource control | Gilezan, Silvia ; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Proof Theory | Gilezan, Silvia ; Barendregt, Henk | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2012 | Intersection types for explicit substitution with resource control | Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2012 | Intersection types and related systems | Gilezan, Silvia ; Paolini, Luca | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |