학술논문
'학술논문'
에서 검색결과 44건 | 목록
1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 9 January 2023, 7)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2022, 18(1):33:1-33:31)
Academic Journal
In: Theoretical Computer Science . (Theoretical Computer Science, 12 April 2020, 813:341-361)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2020, 16(4):14:1-14:25)
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:156-175)
Academic Journal
In: Journal of Multiple-Valued Logic and Soft Computing . (Journal of Multiple-Valued Logic and Soft Computing, 2019, 33(3):197-218)
Conference
In: Proceedings - Symposium on Logic in Computer Science , Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. (Proceedings - Symposium on Logic in Computer Science, 2 August 2022)
Academic Journal
In: Information and Computation . (Information and Computation, August 2018, 261:78-115)
Book
In: Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13242 LNCS:368-388)
Academic Journal
In: Science of Computer Programming . (Science of Computer Programming, 1 November 2015, 111(P3):395-425)
검색 결과 제한하기
제한된 항목
[AR] PECHOUX, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어