Browsing by Author Kunčak, Viktor

Showing results 1 to 3 of 3
Author(s)TitleIssue DateAppears inRank
Ghilezan, Silvia ; Kunčak, ViktorConfluence of untyped lambda calculus via simple types1-Jan-2001Lecture 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-49M21
Ghilezan, Silvia ; Kunčak, Viktor; Likavec, SilviaReducibility method for termination properties of typed lambda terms2001Extended 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, ViktorReducibility method in simply typed lambda calculus2001Novi Sad Journal of Mathematics; 31; 27-32