Прегледање према Аутор Gilezan, Silvia


Или, изаберите писмо испод како бисте прегледали презиме
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Приказивање резултата 14 do 33 od 41 < претходна   следећа >
Датум издавањаНасловАутор(и)
1-јан-2019The Duality of Classical Intersection and Union TypesDownen P.; Ariola Z.; Gilezan, Silvia 
1-јан-2016Dynamic role authorization in multiparty conversationsGilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez J.; Vieira H.
1-јан-2016Encoding of multilevel S-threshold functionsPantović, Jovanka ; Gilezan, Silvia ; Žunić J.
1-јан-2019Formal verification of python software transactional memory based on timed automataKordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia 
1-јан-2001Full intersection types and topologies in lambda calculusGilezan, Silvia 
1-дец-1993Inhabitation in intersection and union type assignment systemsGilezan, Silvia 
19-јул-2005Intersection and union types in the λ̄μμ̃-calculusDougherty D.; Gilezan, Silvia ; Lescanne P.
19-сеп-2011Intersection types for the resource control lambda calculiGilezan, Silvia ; Ivetić, Jelena ; Lescanne P.; Likavec S.
1-авг-2011Intuitionistic sequent-style calculus with explicit structural rulesGilezan, Silvia ; Ivetić, Jelena ; Lescanne P.; Žunić, D.
1-јан-2011Lambda calculus with typesBarendregt H.; Dekkers W.; Statman R.; Alessi F.; Bezem M.; Cardone F.; Coppo M.; Dezani-Ciancaglini M.; Dowek G.; Gilezan, Silvia ; Honsell F.; Moortgat M.; Severi P.; Urzyczyn P.
1-јан-2000Lambda terms for natural deduction, sequent calculus and cut eliminationBarendregt H.; Gilezan, Silvia 
1-јан-2017Linked data privacyJakšić, Svetlana ; Pantović, Jovanka ; Gilezan, Silvia 
1-јан-2014On the number of S-threshold functions on not necessarily binary inputPantović, Jovanka ; Gilezan, Silvia ; Žunić J.
2-апр-2020Otvorena nauka: praksa i perspektiveSmederevac Snežana ; Pajić Dejan ; Radovanović Sanja ; Gilezan Silvia ; Čolović Petar ; Milosavljević Branko 
1-јан-2007Partitioning finite d-dimensional integer grids with applicationsGilezan, Silvia ; Pantović, Jovanka ; Žunić J.
1-јан-2014Preciseness of subtyping on intersection and union typesDezani-Ciancaglini M.; Gilezan, Silvia 
1-дец-2012PrefaceGilezan, Silvia ; Paolini L.
1-јан-2018Probabilistic reasoning about simply typed lambda termsGilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran; Savić, Nenad
1-феб-2003Reducibility: A ubiquitous method in lambda calculus with intersection typesGilezan, Silvia ; Likavec S.
1-јан-1997The “Relevance” of intersection and union typesDezani-Ciancaglini M.; Gilezan, Silvia ; Venneri B.
Приказивање резултата 14 do 33 od 41 < претходна   следећа >