Gilezan, Silvia

Tip

Godina

Mp-kat.

Godina - raspon

Godina od:

Godina do:

Rezultati 61-80 od 119 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2014	Binary relations and algebras on multisets	Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir	Naučni članak	23M23 - Međunarodni časopis kategorije M23
2014	Lambek's computational approach to conjugation	Gilezan, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2014	Preciseness of subtyping on intersection and union types	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2014	Approaching substructural term calculi via the resource control calculus	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2014	Dynamic role authorization in multiparty conversations	Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, Jorge; Hugo Torres, Vieira	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2014	On the number of S-threshold functions on not necessarily binary input	Pantović, Jovanka ; Gilezan, Silvia ; Žunić, Joviša	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2014	Internationalisation of Doctoral education - a good practise	Gilezan, Silvia ; Ivetić, Jelena ; Marković, Zoran; Ognjanović, Zoran ; Pantović, Jovanka ; Davidović, Tatjana ; M. Lenisa; Stojaković, Mila	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2014	Computational approach to conjugation	Gilezan, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2013	Živa teorema, Sedrik Vilani	Gilezan, Silvia	Monografija	Mp kategorija će biti prikazana naknadno.
2013	Resource aware computing with proofs	Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2013	Resource control and strong normalisation	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia	Naučni članak	Mp kategorija će biti prikazana naknadno.
2013	History of Mathematical Logic in Serbia	Borisavljević, Mirjana ; Đorđe Vukomanović; Gilezan, Silvia ; Janičić, Predrag Đ. ; Krapež, Aleksandar ; Kurilić, Miloš S. ; Zoran Marković; Žarko Mijajlović; Ognjanović, Zoran ; Pantović, Jovanka ; Petrić, Zoran ; Miomir Stanković; Stanković, Radomir ; Ivan Stojmenović;	Poglavlje u monografiji	Mp kategorija će biti prikazana naknadno.
2013	Reducibility method and logical relations in intuitionistic logic and programming languages	Gilezan, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2013	Constructive approach to relevant and affine term calculi	Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2013	Reducibility method and resource control	Gilezan, Silvia ; Likavec, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2013	Proof Theory	Gilezan, Silvia ; Barendregt, Henk	Poglavlje u monografiji	Mp kategorija će biti prikazana naknadno.
2012	Computational interpretation of classical logic with explicit structural rules	Silvia Ghilezan ; Pierre Lescanne; Žunić, Dragiša	Ostalo	Mp kategorija će biti prikazana naknadno.
2012	Types and Roles for Web Security	Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Dezani-Cianciaglini, Mariangiola	Naučni članak	53M53 - Nacionalni časopis kategorije M53
2012	The resource control and strong normalisation	Ghilezan, Silvia ; Ivetić, Jelena	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2012	A journey through resource control lambda calculi and explicit substitution using intersection types	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia	Naučni članak	Mp kategorija će biti prikazana naknadno.