Istraživači
Likavec, Silvia
Godina
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 mixins and incomplete objects | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia   | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2004 | Understanding untyped λµµ calculus | Lescanne, Pierre; Likavec, Silvia | Izveštaj | Mp kategorija će biti prikazana naknadno. |
| 2004 | A core calculus of higher-order mixins and classes | Bettini, Lorenzo; Bono, Viviana; 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. |
| 2003 | Extensions of the reducibility method | Ghilezan, Silvia ; Likavec, Silvia | Konferencijski rad | 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. |