Results

eNauka >  Results >  Characterizing strong normalization in a language with control operators
Title: Characterizing strong normalization in a language with control operators
Authors: Dougherty, Dan; Ghilezan, Silvia ; Lescanne, Pierre
Issue Date: 2004
Publication: Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04
Publisher: Association for Computing Machinery
Type: Conference Paper
ISBN: 978-1-581-13819-9 ИСБН није валидан Search Idenfier
Collation: 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
Availability note: Пуни текст није јавно доступан
M-category: 
Mp. category will be shown later

10
SCOPUSTM
9
OpenCitations
Altmetric
Dimensions
Unpaywall

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.