Резултати

eNauka >  Rezultati >  A connection between cut elimination and normalization
Naziv : A connection between cut elimination and normalization
Autori: Borisavljevic, Mirjana  
Godina: 1995
Publikacija: Filomat (Niš) 9, pp. 619-632
ISSN: 0354-5180 Filomat Pretraži identifikator
Tip rezultata: Naučni članak
URI: https://enauka.gov.rs/handle/123456789/863745
Izvor metapodataka: (Preuzeto iz ORCID-a) Borisavljević, Mirjana
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Пронађи DOI

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.