Резултати

еНаука >  Резултати >  Strong normalization and typability with intersection types
Назив: Strong normalization and typability with intersection types
Аутори: Ghilezan, Silvia  
Година: 1996
Публикација: Notre Dame Journal of Formal Logic
ISSN: 0029-4527 Notre Dame Journal of Formal Logic Претражи идентификатор
Издавач: University of Notre Dame
Тип резултата: Научни чланак
Колација: vol. 37 br. 1 str. 44-52
DOI: 10.1305/ndjfl/1040067315
Scopus-ID: 2-s2.0-0005719921
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/2617
https://enauka.gov.rs/handle/123456789/579421
М-категорија: 
Мп категорија ће бити приказана накнадно.

28
SCOPUSTM
20
OpenCitations
Алт метрика
Dimensions

Пронађи DOI
Unpaywall

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