Резултати

еНаука >  Резултати >  Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage
Назив: Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage
Аутори: Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre
Година: 2008
Публикација: Theoretical Computer Science
ISSN: 0304-3975 Theoretical Computer Science Претражи идентификатор
Издавач: Elsevier
Тип резултата: Научни чланак
Колација: vol. 398 br. 1-3 str. 114-128
DOI: 10.1016/j.tcs.2008.01.022
WoS-ID: 000256461400009
Scopus-ID: 2-s2.0-43049098185
URI: https://enauka.gov.rs/handle/123456789/579408
http://researchrepository.mi.sanu.ac.rs/handle/123456789/2601
https://plus.cobiss.net/cobiss/sr/sr/bib/1025314229#izum.si
М-категорија: 
22M22 - Међународни часопис категорије M22

17
SCOPUSTM
10
OpenCitations
9
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

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