Browsing by Author Kunčak, Viktor
Showing results 2 to 4 of 4
< previous
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Ghilezan, Silvia ; Kunčak, Viktor; Likavec, Silvia | Reducibility method for termination properties of typed lambda terms | 2001 | Extended abstracts of the 5th International Workshop on Termination, (WST'01); 5th International Workshop on Termination - WST'01, Utrecht, The Netherlands (2001); 14-16 | |
| Ghilezan, Silvia ; Kunčak, Viktor | Reducibility method in simply typed lambda calculus | 2001 | Novi Sad Journal of Mathematics; 31; 27-32 | |
| Ghilezan, Silvia ; Kunčak, Viktor | Reducibility method in simply typed lambda calculus | 2000 | XIV Conference on Applied Mathematics PRIM, Palić, June 2000 |