Резултати

еНаука >  Резултати >  A connection between cut elimination and normalization
Назив : A connection between cut elimination and normalization
Аутори: Borisavljevic, Mirjana  
Година: 1995
Публикација: Filomat (Niš) 9, pp. 619-632
ISSN: 0354-5180 Filomat Претражи идентификатор
Тип резултата: Научни чланак
URI: https://enauka.gov.rs/handle/123456789/863745
Извор метаподатака: (Preuzeto iz ORCID-a) Borisavljević, Mirjana
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

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