Results
Title  : | A connection between cut elimination and normalization | Authors: | Borisavljevic, Mirjana   |
Issue Date: | 1995 | Publication: | Filomat (Niš) 9, pp. 619-632 | ISSN: | 0354-5180 Filomat Search Idenfier |
Type: | Article | URI: | https://enauka.gov.rs/handle/123456789/863745 | Metadata source: | (Preuzeto iz ORCID-a) Borisavljević, Mirjana | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.