Резултати

еНаука >  Резултати >  Characterizing strong normalization in a language with control operators
Назив: Characterizing strong normalization in a language with control operators
Аутори: Dougherty, Dan; Ghilezan, Silvia ; Lescanne, Pierre
Година: 2004
Публикација: Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04
Издавач: Association for Computing Machinery
Тип резултата: Конференцијски рад
ISBN: 978-1-581-13819-9 ИСБН није валидан Претражи идентификатор
Колација: str. 155-166
DOI: 10.1145/1013963.1013982
Scopus-ID: 2-s2.0-11244344087
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/2611
https://enauka.gov.rs/handle/123456789/579415
Напомена о доступности: Пуни текст није јавно доступан
М-категорија: 
Мп категорија ће бити приказана накнадно.

10
SCOPUSTM
9
OpenCitations
Алт метрика
Dimensions
Unpaywall

Google ScholarTM

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