Истраживачи
Likavec, Silvia
Година
- 66 2000 - 2027
Мп-кат.
- 35 M30/M60
- 7 M20/M50
- 6 остало
- 5 M21a - Водећи међународни часопис категорије M21a
- 4 M10/M40
- 4 M22 - Међународни часопис категорије M22
- 2 M23 - Међународни часопис категорије M23
- 1 M21 - Водећи међународни часопис категорије M21
- 1 M21a+ - Водећи међународни часопис категорије M21a+
- 1 M70 - Одбрањена докторска дисертација
- следећи >
Година - распон
Резултати 61-66 од 66
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2004 | Behavioural inverse limit λ-models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   ; Likavec, Silvia | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2004 | Zbirka rešenih zadataka iz Matematike I - 2. izd. | Grbić, Tatjana ; Likavec, Silvia ; Lukić, Tibor ; Pantović, Jovanka ; Sladoje, Nataša ; Teofanov, Ljiljana | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2004 | Zbirka rešenih zadataka iz Matematike I | Грбић, Татјана ; Likavec, Silvia ; Лукић, Тибор ; Пантовић, Јованка ; Сладоје, Наташа ; Теофанов, Љиљана | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2003 | Extensions of the reducibility method | Ghilezan, Silvia ; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2003 | Reducibility: A ubiquitous method in lambda calculus with intersection types | Ghilezan, Silvia ; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2001 | Reducibility method for termination properties of typed lambda terms | Ghilezan, Silvia ; Kunčak, Viktor ; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |