Departman za opšte discipline u tehnici

Статистика Имејл упозорење RSS Feed
Organization name
Departman za opšte discipline u tehnici
Parent OrgUnit
City
Novi Sad
Country
Serbia

OrgUnit's Researchers publications
(Заменик/радна група издања)


Прецизирано по:
Аутор:  Gilezan, Silvia
Аутор:  Ivetić, Jelena

Резултати 1-4 од 4 (Време претраге: 0.001 секунди).

Датум издавањаНасловАутор(и)
19-јун-2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo J.; Gilezan, Silvia ; Ivetić, Jelena 
219-сеп-2011Intersection types for the resource control lambda calculiGilezan, Silvia ; Ivetić, Jelena ; Lescanne P.; Likavec S.
31-авг-2011Intuitionistic sequent-style calculus with explicit structural rulesGilezan, Silvia ; Ivetić, Jelena ; Lescanne P.; Žunić, D.
41-јан-2018Probabilistic reasoning about simply typed lambda termsGilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran; Savić, Nenad