Browsing by Author Kunčak, Viktor
Showing results 1 to 4 of 4
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Ghilezan, Silvia ; Kunčak, Viktor | Confluence of untyped lambda calculus via simple types | 1-Jan-2001 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 7th Italian Conference on Theoretical Computer Science, ICTCS 2001; Torino; Italy; 4 October 2001 through 6 October 2001; 2202; 38-49 | M21 |
| 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 |