Organisations
Univerzitet u Novom Sadu, Fakultet tehničkih nauka
Type
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. |
|---|---|---|---|---|
| 1993 | A note on typed combinators and typed lambda terms | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia | Doctoral theses | 70M70 |
| 1993 | Dijagnosticiranje i procena stanja betonskih konstrukcija | RADONjANIN, VLASTIMIR S. | Conference Paper | Mp. category will be shown later |
| 1993 | Inhabitation in intersection and union type assignment systems | Ghilezan, Silvia | Article | Mp. category will be shown later |
| 1993 | Biofizika - odabrana poglavlja za studente medicine i stomatologije | Stanković, Slobodanka; Kapor, Agneš; Vesković, Miroslav | Text book | Mp. category will be shown later |