Results

eNauka >  Results >  Constructive approach to relevant and affine term calculi
Title: Constructive approach to relevant and affine term calculi
Authors: Gilezan, Silvia  ; Ivetić, Jelena  ; Pierre Lescanne; Likavec, Silvia  
Issue Date: 2013
Publication: Constructive Mathematics: Foundations and Practise
Publisher: Niš: Univerzitet u Nišu
Type: Conference Paper
Collation: str. 39-42
URI: https://enauka.gov.rs/handle/123456789/364019
URL: https://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije141111324933636.pdf?controlNumber=(BISIS)83357&fileName=141111324933636.pdf&id=2657&source=NaRDuS&language=sr
Metadata source: Migrirano iz RIS podataka
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.