Results
| Naziv: | Normalisation in substructural term calculi | Autori: | Gilezan, Silvia   ; Ivetić, Jelena ; Savić, Nenad |
Godina: | 2015 | Publikacija: | Handbook of the 5th World Congress and School on Universal Logic (June 20–30 ; 2015) Istanbul, Turkey | Izdavač: | Istanbul : University of Istanbul | Tip rezultata: | Konferencijski rad | Kolacija: | 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 | Izvor metapodataka: | Migrirano iz RIS podataka | Napomena o dostupnosti: | Подаци и/или пуни текст су непотпуни | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.