Results

eNauka >  Results >  Normalisation in substructural term calculi
Title: Normalisation in substructural term calculi
Authors: Gilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad 
Issue Date: 2015
Publication: Handbook of the 5th World Congress and School on Universal Logic (June 20–30 ; 2015) Istanbul, Turkey
Publisher: Istanbul : University of Istanbul
Type: Conference Paper
Collation: str. 331-332
URI: https://enauka.gov.rs/handle/123456789/179560
http://researchrepository.mi.sanu.ac.rs/handle/123456789/4238
URL: http://www.uni-log.org/start5.html
Metadata source: Migrirano iz RIS podataka
Availability note: Подаци и/или пуни текст су непотпуни
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

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