Organizacije
Univerzitet u Novom Sadu, Fakultet tehničkih nauka
Godina - raspon
Rezultati obuhvataju radove istraživača koji su TRENUTNO zaposleni u prikazanoj instituciji.
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |