Gilezan, Silvia

Type

Date issued

102 2000 - 2027
18 1901 - 1999

Mp-cat.

75 М30/М60
13 M20/M50
10 M22
8 M10/M40
6 other
3 M21
3 M23
1 M53
1 M70

Date issued - custom

Year from:

Year to:

Results 61-80 of 120 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2014	On the number of S-threshold functions on not necessarily binary input	Pantović, Jovanka ; Gilezan, Silvia ; Žunić, Joviša	Conference Paper	Mp. category will be shown later
2014	Zbirka rešenih zadataka iz verovatnoće i statistike	Gilezan, Silvia ; Lužanin, Zorana ; Grbić, Tatjana ; Mihailović, Biljana ; Nedović, Ljubo ; Ovcin, Zoran ; Ivetić, Jelena ; Дорословачки, Ксенија	Text book	Mp. category will be shown later
2014	Computational approach to conjugation	Gilezan, Silvia	Conference Paper	Mp. category will be shown later
2014	Resource control and intersection types: an intrinsic connection	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia	Article	Mp. category will be shown later
2014	Lambek's computational approach to conjugation	Gilezan, Silvia	Conference Paper	Mp. category will be shown later
2014	Binary relations and algebras on multisets	Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir	Article	23M23
2014	Some Advantages of the Lambda Calculi with Resourse Control	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Conference Paper	Mp. category will be shown later
2014	Preciseness of subtyping on intersection and union types	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2014	Approaching substructural term calculi via the resource control calculus	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Conference Paper	Mp. category will be shown later
2013	Resource aware computing with proofs	Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia	Conference Paper	Mp. category will be shown later
2013	Resource control and strong normalisation	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia	Article	Mp. category will be shown later
2013	Reducibility method and resource control	Gilezan, Silvia ; Likavec, Silvia	Conference Paper	Mp. category will be shown later
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ć;	Book parts	Mp. category will be shown later
2013	Proof Theory	Gilezan, Silvia ; Barendregt, Henk	Book parts	Mp. category will be shown later
2013	Živa teorema, Sedrik Vilani	Gilezan, Silvia	Monograph	Mp. category will be shown later
2013	Reducibility method and logical relations in intuitionistic logic and programming languages	Gilezan, Silvia	Conference Paper	Mp. category will be shown later
2013	Constructive approach to relevant and affine term calculi	Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia	Conference Paper	Mp. category will be shown later
2012	Računske interpretacije intuicionističke i klasične logike	Gilezan, Silvia	Conference Paper	Mp. category will be shown later
2012	Proof Theory Chapter 6C	Gilezan, Silvia	Book parts	Mp. category will be shown later
2012	Intersection types and related systems	Gilezan, Silvia ; Paolini, Luca	Article	22M22