Results 1-7 of 7 (Search time: 0.001 seconds).

	Issue Date	Title	Author(s)
1	9-Jun-2008	Characterising strongly normalising intuitionistic sequent terms	Espírito Santo J.; Gilezan, Silvia ; Ivetić, Jelena
2	1-Dec-2012	Characterising strongly normalising intuitionistic terms	Santo J.; Ivetić, Jelena ; Likavec S.
3	19-Sep-2011	Intersection types for the resource control lambda calculi	Gilezan, Silvia ; Ivetić, Jelena ; Lescanne P.; Likavec S.
4	1-Aug-2011	Intuitionistic sequent-style calculus with explicit structural rules	Gilezan, Silvia ; Ivetić, Jelena ; Lescanne P.; Žunić, D.
5	28-Jan-2019	Monitoring and assessment of protected areas' management capacities in the republic of Serbia	Banjac N.; Maksimović, Rado ; Dragaš K.; Ivetić, Jelena
6	1-Jan-2018	Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran; Savić, Nenad
7	1-Dec-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