학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 54건 | 목록 1~10
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2023, 19(4):19:1-19:32)
Book
In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14574 LNCS:191-211)
Book
In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14575 LNCS:229-249)
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, April 2022, 23(2))
Academic Journal
In: Information and Computation. (Information and Computation, January 2022, 282)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023. (Leibniz International Proceedings in Informatics, LIPIcs, December 2023, 284)
Academic Journal
In: Theory of Computing Systems. (Theory of Computing Systems, May 2021, 65(4):638-661)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. (Leibniz International Proceedings in Informatics, LIPIcs, August 2023, 272)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2021, 5(POPL))
검색 결과 제한하기
제한된 항목
[AR] Almagor, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어