Browsing eNauka
Browsing by Author Ivetić, Jelena
Showing results 1 to 20 of 55
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 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 |
| 2023 | Algoritmi klaster analize sa primenom | Galogaža, Dragana; Ivetić, Jelena | Article | 53M53 |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Conference Paper | Mp. category will be shown later |
| 2015 | An Optimization of Lambda Type assignments via Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Article | Mp. category will be shown later |
| 2019 | Analiza prijemnog ispita iz matematike na FTN | IVETIĆ, JELENA B. ; DELIĆ, MARIJA D. ; Ilija Kovačević | 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 |
| 2021 | Assessment of international trade-related transport CO2 emissions – A logistics responsibility perspective | STOJANOVIĆ, ĐURĐICA M. ; Jelena Ivetić ; VELIČKOVIĆ, MARKO S. | Article | 22M22 |
| 2016 | Bajesove mreže - modeliranje u Netici i primer primene na tenis | Dojić, Ivana; Ivetić, Jelena | Article | 53M53 |
| 2012 | Characterising Strongly Normalising Intuitionistic Terms | Santo, José Espírito; Ivetić, Jelena ; Likavec, Silvia | Article | 23M23 |
| 2022 | Clones of Nondeterministic Operations | Čolić, Oravec, Jelena | Doctoral theses | 70M70 |
| 2010 | Computational interpretations of some substructural logics | Ivetić, Jelena ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2013 | Computational interpretations of some substructural logics | Ivetić, Jelena ; Pierre Lescanne | 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 |
| 2020 | Formal modeling and analysis of resource usage and sharing in distributed software systems | Prokić, Ivan | Doctoral theses | 70M70 |
| 2012 | Formalni računi sa kontrolom resursa | Ivetić, Jelena | Conference Paper | Mp. category will be shown later |
| 2019 | Incoterms clauses in trade between Serbia and the neighbouring countries | STOJANOVIĆ, ĐURĐICA M. ; Marko Veličković; IVETIĆ, JELENA B. | Conference Paper | Mp. category will be shown later |
| 2014 | Internationalisation of Doctoral education - a good practise | Gilezan, Silvia ; Ivetić, Jelena ; Zoran Marković; Ognjanović, Zoran ; Pantović, Jovanka ; Davidović, Tatjana ; M. Lenisa; STOJAKOVIĆ, MILA | Conference Paper | Mp. category will be shown later |
| 2015 | Intersection Types Fit Well with Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2012 | Intersection types for explicit substitution with resource control | Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec | Conference Paper | Mp. category will be shown later |
| 2011 | Intersection types for the resource control lambda calculi | Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |