Истраживачи
Likavec, Silvia
Година
Мп-кат.
- 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 | A core calculus of mixins and incomplete objects | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia   | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2004 | Understanding untyped λµµ calculus | Lescanne, Pierre; Likavec, Silvia | Извештај | Мп категорија ће бити приказана накнадно. |
| 2004 | A core calculus of higher-order mixins and classes | Bettini, Lorenzo; Bono, Viviana; 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |