Истраживачи
Došen, Kosta
Тип
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 1997 | Jednakosti izvođenja u kategorijalnoj teoriji dokaza | Petrić, Zoran   | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 1994 | Substructural logics | Уређивачки рад | Мп категорија ће бити приказана накнадно. | |
| 1993 | Intersection types in lambda calculus and logic | Gilezan, Silvia | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |