학술논문
'학술논문'
에서 검색결과 45건 | 목록
1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Academic Journal
In: Journal of Functional Programming . (Journal of Functional Programming, 5 July 2022, 32(4))
Academic Journal
In: Journal of Functional Programming . (Journal of Functional Programming, 14 October 2021, 31)
Academic Journal
In: Mathematical Structures in Computer Science . (Mathematical Structures in Computer Science, 14 April 2021, 31(4):424-468)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 2 August 2020, 4(ICFP))
Conference
Proceedings. 19th International Conference on Automated Software Engineering, 2004. Automated software engineering Automated Software Engineering, 2004. Proceedings. 19th International Conference on. :164-173 2004
Conference
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. Automated software engineering Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on. :281-285 2003
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2020, 4(POPL))
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2020, 16(1))
Book
In: Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13992 LNCS:113-134)
검색 결과 제한하기
제한된 항목
[AR] Licata, D.R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어