Organisations
Univerzitet u Novom Sadu, Fakultet tehničkih nauka
.svg "A preview ftn_logo_optimized(1).svg picture"){kind=logo}
Date issued - custom
The results include the works of researchers who are CURRENTLY employed at the displayed institution.
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 1999 | Natural deduction and sequent typed lambda calculus | Ghilezan, Silvia   | Article | Mp. category will be shown later |
| 1999 | Characteristics analysis of power transmission through friction in the field of belt conveyors | Vladić, Jovan; Malešev, Petar; Živanić, Dragan | Article | Mp. category will be shown later |
| 1998 | Experimental research on polymer modified concrete, ACI Materials Journal | Radomir Folić; RADONjANIN, VLASTIMIR S. | Article | 21aM21a |
| 1997 | The “Relevance” of intersection and union types | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, Betti | Article | Mp. category will be shown later |
| 1997 | The testing and repair of steel silo | Pavlovic, P; Folic, R; Radonjanin, Vlastimir ; Tatomirovic, M | Article | Mp. category will be shown later |
| 1997 | Analyze of changes in exterior dimensions of passenger cars during collision with fixed barriers | Papić, Zoran ; Bogdanović, Vuk ; Raković, Milenko; Vasiljević, Vladimir | Article | Mp. category will be shown later |
| 1997 | A new speech scrambling concept based on hadamard matrices | Šenk, V. ; Delić, V.D. ; Milošević, V.S. | Article | 22M22 |
| 1996 | Some topological properties of the lambda calculus | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1996 | Generalized finiteness of developments | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1996 | Strong normalization and typability with intersection types | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1995 | Enzyme polymorphism of cultivated vetch (Vicia sativa L.) and its wild relatives | Zlokolica Miodrag ; Boža Pal; Krstić Borivoj; Milošević Mijodrag | Article | Mp. category will be shown later |
| 1994 | Application of typed lambda calculi in the untyped lambda calculus | Ghilezan, Silvia | Article | 23M23 |
| 1994 | Conjugation in SerboCroatian | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1994 | Effect of sulfur oxides on surface state and carbon monoxide oxidation activity of CuxZnl-xCr204 mixed oxides | Terlecki-Baričević, Ana; Jovanović, Dušan ; Grbić, Boško ; Marinova, Tsvetana; Kirilov-Stefanov, Plamen | Article | 22M22 |
| 1993 | A note on typed combinators and typed lambda terms | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1993 | Inhabitation in intersection and union type assignment systems | Ghilezan, Silvia | Article | Mp. category will be shown later |