학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 312건 | 목록 190~200
Academic Journal
In: Information and Computation. (Information and Computation, March 2007, 205(3):263-310)
Academic Journal
In: Journal of the ACM. (Journal of the ACM, 2006, 53(2):208-237)
Academic Journal
In: ACM Transactions on Computational Logic. (ACM Transactions on Computational Logic, April 2004, 5(2):282-315)
Academic Journal
In: Journal of Logic and Computation. (Journal of Logic and Computation, August 2003, 13(4):503-530)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019. (Leibniz International Proceedings in Informatics, LIPIcs, 1 July 2019, 132)
Conference
In: Proceedings - Symposium on Logic in Computer Science, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. (Proceedings - Symposium on Logic in Computer Science, June 2019, 2019-June)
Academic Journal
In: Information and Computation. (Information and Computation, 15 June 1998, 143(2):154-174)
Academic Journal
In: Mathematical Logic Quarterly. (Mathematical Logic Quarterly, 1998, 44(3):349-353)
Academic Journal
In: Mathematical Logic Quarterly. (Mathematical Logic Quarterly, 1998, 44(1):109-122)
검색 결과 제한하기
제한된 항목
[AR] Dawar, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어