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

Page view(s)

28
checked on Dec 26, 2024

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.