학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 60건 | 목록 1~10
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2023, 19(2))
Conference
In: ACM International Conference Proceeding Series, Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, PPDP 2023 - As part of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, including LOPSTR 2023. (ACM International Conference Proceeding Series, 22 October 2023)
Academic Journal
In: International Journal of Theoretical and Applied Finance. (International Journal of Theoretical and Applied Finance, 1 August 2020, 23(5))
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, February 2018, 19(1))
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 10 January 2018, 14(1))
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, 1 January 2017, 86(1):30-76)
Conference
In: ACM International Conference Proceeding Series, Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019. (ACM International Conference Proceeding Series, 7 October 2019)
Academic Journal
In: Annals of Pure and Applied Logic. (Annals of Pure and Applied Logic, In Press, 2012)
Academic Journal
In: Fundamenta Informaticae, Intersection Types and Related Systems (ITRS). (Fundamenta Informaticae, 2012, 121(1-4):1-41)
검색 결과 제한하기
제한된 항목
[AR] Van Bakel, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어