| Authors: | Ghilezan, Silvia Ivetić, Jelena Savić, Nenad |
Title: | Normalisation in substructural term calculi | Conference: | UNILOG 2015 - The 5th World Congress on Universal Logic, June 25-30, 2015, Istanbul, Turkey | Issue Date: | 2015 | Rank: | M34 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.