학술논문
'학술논문'
에서 검색결과 56건 | 목록
1~10
Academic Journal
In Science of Computer Programming June 2023
Conference
2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2010 12th International Symposium on. :107-115 Sep, 2010
Report
Logical Methods in Computer Science, Volume 12, Issue 2 (June 29, 2016) lmcs:1641
Academic Journal
In Electronic Notes in Theoretical Computer Science November 2001 41(3):20-34
Academic Journal
In Electronic Notes in Theoretical Computer Science 1999 26:105-120
Conference
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :200-212
Conference
Proceedings of the 14th international conference on World Wide Web. :432-441
Conference
Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. :1-8
Conference
Proceedings of the 10th international conference on Static analysis. :153-170
Book
Developments in Language Theory: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings; 2016, p393-405, 13p
검색 결과 제한하기
제한된 항목
[AR] Minamide, Yasuhiko
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어