Researchers
Likavec, Silvia
Results 61-66 of 66
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2004 | Zbirka rešenih zadataka iz Matematike I - 2. izd. | Grbić, Tatjana   ; Likavec, Silvia ; Lukić, Tibor ; Pantović, Jovanka ; Sladoje, Nataša ; Teofanov, Ljiljana | Text book | Mp. category will be shown later |
| 2004 | Behavioural inverse limit λ-models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Article | 22M22 |
| 2004 | Zbirka rešenih zadataka iz Matematike I | Грбић, Татјана ; Likavec, Silvia ; Лукић, Тибор ; Пантовић, Јованка ; Сладоје, Наташа ; Теофанов, Љиљана | Text book | Mp. category will be shown later |
| 2003 | Extensions of the reducibility method | Ghilezan, Silvia ; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2003 | Reducibility: A ubiquitous method in lambda calculus with intersection types | Ghilezan, Silvia ; Likavec, Silvia | Article | Mp. category will be shown later |
| 2001 | Reducibility method for termination properties of typed lambda terms | Ghilezan, Silvia ; Kunčak, Viktor ; Likavec, Silvia | Conference Paper | Mp. category will be shown later |