학술논문
'학술논문'
에서 검색결과 68건 | 목록
1~10
Academic Journal
In: Mathematical Structures in Computer Science . (Mathematical Structures in Computer Science, 25 October 2021, 31(9):1034-1089)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 22 May 2018, 14(2))
Academic Journal
In: Annals of Pure and Applied Logic . (Annals of Pure and Applied Logic, 1 March 2017, 168(3):501-621)
Academic Journal
In: Electronic Notes in Theoretical Computer Science . (Electronic Notes in Theoretical Computer Science, 11 July 2016, 323:39-56)
Conference
In: OpenAccess Series in Informatics , 3rd International Workshop on Formal Methods for Blockchains, FMBC 2021. (OpenAccess Series in Informatics, November 2021, 95)
Academic Journal
In: Journal of Logic and Computation . (Journal of Logic and Computation, 1 April 2015, 25(2):473-523)
Academic Journal
In: Mathematical Structures in Computer Science . (Mathematical Structures in Computer Science, October 2013, 23(5):1002-1031)
Academic Journal
In: Journal of Applied Logic . (Journal of Applied Logic, March 2013, 11(1):1-29)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12478 LNCS:73-88)
검색 결과 제한하기
제한된 항목
[AR] Gabbay, M.J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어