Organisations
Univerzitet u Novom Sadu, Fakultet tehničkih nauka
.svg "A preview ftn_logo_optimized(1).svg picture"){kind=logo}
Резултати обухватају радове истраживача који су ТРЕНУТНО запослени у приказаној институцији.
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 1999 | Natural deduction and sequent typed lambda calculus | Ghilezan, Silvia   | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | Characteristics analysis of power transmission through friction in the field of belt conveyors | Vladić, Jovan; Malešev, Petar; Živanić, Dragan | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 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 |
| 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 | Conjugation in SerboCroatian | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 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 |