Организације
Univerzitet u Novom Sadu, Fakultet tehničkih nauka
Година - распон
Резултати обухватају радове истраживача који су ТРЕНУТНО запослени у приказаној институцији.
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |