Departman za opšte discipline u tehnici
Organization name
Departman za opšte discipline u tehnici
Parent OrgUnit
City
Novi Sad
Country
Serbia
OrgUnit's Researchers publications
(Заменик/радна група издања)
Резултати 1-2 од 2 (Време претраге: 0.001 секунди).
Датум издавања | Наслов | Аутор(и) | |
---|---|---|---|
1 | 1-јан-1996 | Strong normalization and typability with intersection types | Gilezan, Silvia |
2 | 1996 | Two examples of relative completeness | Tosic R.; Vojvodić Gradimir; Masulovic Dragan ; Pantović Jovanka ; Doroslovacki Rade |