학술논문
'학술논문'
에서 검색결과 136건 | 목록
1~10
Academic Journal
In Information and Computation August 2019 267:145-163
Conference
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2021 36th Annual ACM/IEEE Symposium on. :1-13 Jun, 2021
Academic Journal
Komorida, Yuichi; Katsumata, Shin-ya; Hu, Nick; Klin, Bartek; Humeau, Samuel; Eberhart, Clovis; Hasuo, Ichiro
Academic Journal
Bojańczyk, Mikołaj (PL-WASW-NDM) AMS Author Profile; Fijalkow, Joanna (PL-WASW-NDM) AMS Author Profile; Klin, Bartek (4-OX-NDM) AMS Author Profile; Moerman, Joshua (NL-OU) AMS Author Profile
Academic Journal
In Information and Computation June 2013 227:58-83
Conference
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2019 34th Annual ACM/IEEE Symposium on. :1-13 Jun, 2019
Conference
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2019 34th Annual ACM/IEEE Symposium on. :1-13 Jun, 2019
검색 결과 제한하기
제한된 항목
[AR] Klin, Bartek
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어