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. |
|---|---|---|---|---|
| 1996 | Some topological properties of the lambda calculus | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1996 | Generalized finiteness of developments | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1996 | Strong normalization and typability with intersection types | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |