Датум издавања | Наслов | Аутор(и) |
9-јун-2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo J.; Gilezan, Silvia ; Ivetić, Jelena |
1-дец-2012 | Characterising strongly normalising intuitionistic terms | Santo J.; Ivetić, Jelena ; Likavec S. |
19-сеп-2011 | Intersection types for the resource control lambda calculi | Gilezan, Silvia ; Ivetić, Jelena ; Lescanne P.; Likavec S. |
1-авг-2011 | Intuitionistic sequent-style calculus with explicit structural rules | Gilezan, Silvia ; Ivetić, Jelena ; Lescanne P.; Žunić, D. |
28-јан-2019 | Monitoring and assessment of protected areas' management capacities in the republic of Serbia | Banjac N.; Maksimović, Rado ; Dragaš K.; Ivetić, Jelena |
1-јан-2018 | Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran; Savić, Nenad |
1-дец-2017 | Understanding the determinants of e-business adoption in ERP-enabled firms and non-ERP-enabled firms: A case study of the Western Balkan Peninsula | Ilin, Vladimir ; Ivetić, Jelena ; Simić, Dragan |