еНаука - преглед
Преглед према Аутор Kunčak, Viktor
Приказ резултата 1 до 3 од 3
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2001 | Confluence of untyped lambda calculus via simple types | Ghilezan, Silvia   ; Kunčak, Viktor | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2001 | Reducibility method in simply typed lambda calculus | Ghilezan, Silvia ; Kunčak, Viktor | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2000 | Reducibility method in simply typed lambda calculus | Ghilezan, Silvia ; Kunčak, Viktor | Конференцијски рад | Мп категорија ће бити приказана накнадно. |