Istraživači
Likavec, Silvia
Godina
- 66 2000 - 2027
Mp-kat.
- 35 M30/M60
- 7 M20/M50
- 6 ostalo
- 5 M21a - Vodeći međunarodni časopis kategorije M21a
- 4 M10/M40
- 4 M22 - Međunarodni časopis kategorije M22
- 2 M23 - Međunarodni časopis kategorije M23
- 1 M21 - Vodeći međunarodni časopis kategorije M21
- 1 M21a+ - Vodeći međunarodni časopis kategorije M21a+
- 1 M70 - Odbranjena doktorska disertacija
- sledeći >
Godina - raspon
Rezultati 61-66 od 66
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2004 | A core calculus of higher-order mixins and classes | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia   | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2004 | Zbirka rešenih zadataka iz Matematike I | Грбић, Татјана ; Likavec, Silvia ; Лукић, Тибор ; Пантовић, Јованка ; Сладоје, Наташа ; Теофанов, Љиљана | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2004 | Zbirka rešenih zadataka iz Matematike I - 2. izd. | Grbić, Tatjana ; Likavec, Silvia ; Lukić, Tibor ; Pantović, Jovanka ; Sladoje, Nataša ; Teofanov, Ljiljana | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2003 | Extensions of the reducibility method | Ghilezan, Silvia ; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2003 | Reducibility: A ubiquitous method in lambda calculus with intersection types | Ghilezan, Silvia ; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2001 | Reducibility method for termination properties of typed lambda terms | Ghilezan, Silvia ; Kunčak, Viktor ; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |