학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 34건 | 목록 1~10
Report
Lecture Notes in Computer Science 9964 (2016) 60-80
Report
EPTCS 194, 2015, pp. 110-124
Report
EPTCS 129, 2013, pp. 84-104
Dissertation/ Thesis
Book
Logic for Programming, Artificial Intelligence & Reasoning (9783540894384); 2008, p682-696, 15p
Conference
Proceedings of the Fourth International Conference: Functional Programming Languages & Computer Architecture; 11/1/1989, p144-156, 13p
Academic Journal
Jones, Neil D. AMS Author Profile; Rosendahl, Mads AMS Author Profile
The Journal of Functional and Logic Programming (J. Funct. Logic Programming) (19970101), Article 2, 19~pp\. ISSN: 1080-5230 (print).
Electronic Resource
Jensen , K D , Hjæresen , P & Rosendahl , M 1994 , Efficient strictness analysis of Haskell . in B Le Charlier (ed.) , Static Analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings . Springer , Lecture notes in computer science , vol. 864 , pp. 346-362 , 1st International Static Analysis Symposium , Namur , Belgium , 27/09/1994 .
검색 결과 제한하기
제한된 항목
[AR] Rosendahl, Mads
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어