| Authors: | Ghilezan, Silvia Kunčak, Viktor Likavec, Silvia |
Title: | Reducibility method for termination properties of typed lambda terms | Journal: | Extended abstracts of the 5th International Workshop on Termination, (WST'01) | First page: | 14 | Last page: | 16 | Conference: | 5th International Workshop on Termination - WST'01, Utrecht, The Netherlands (2001) | Issue Date: | 2001 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.