학술논문
'학술논문'
에서 검색결과 17건 | 목록
1~10
Academic Journal
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Academic Journal
Logical Methods in Computer Science, Vol Volume 16, Issue 4 (2020)
Academic Journal
Electronic Proceedings in Theoretical Computer Science, Vol 277, Iss Proc. GandALF 2018, Pp 16-29 (2018)
Academic Journal
Swen Jacobs; Nicolas Basset; Roderick Bloem; Romain Brenguier; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov; Felix Klein; Thibaud Michaud; Guillermo A. Pérez; Jean-François Raskin; Ocan Sankur; Leander Tentrup
Electronic Proceedings in Theoretical Computer Science, Vol 260, Iss Proc. SYNT 2017, Pp 116-143 (2017)
Academic Journal
Swen Jacobs; Roderick Bloem; Romain Brenguier; Ayrat Khalimov; Felix Klein; Robert Könighofer; Jens Kreber; Alexander Legg; Nina Narodytska; Guillermo A. Pérez; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; Adam Walker
Electronic Proceedings in Theoretical Computer Science, Vol 229, Iss Proc. SYNT 2016, Pp 149-177 (2016)
Academic Journal
Electronic Proceedings in Theoretical Computer Science, Vol 202, Iss Proc. SYNT 2015, Pp 98-111 (2016)
Academic Journal
Swen Jacobs; Roderick Bloem; Romain Brenguier; Robert Könighofer; Guillermo A. Pérez; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; Adam Walker
Electronic Proceedings in Theoretical Computer Science, Vol 202, Iss Proc. SYNT 2015, Pp 27-57 (2016)
Academic Journal
Electronic Proceedings in Theoretical Computer Science, Vol 157, Iss Proc. SYNT 2014, Pp 100-116 (2014)
Academic Journal
Electronic Proceedings in Theoretical Computer Science, Vol 157, Iss Proc. SYNT 2014, Pp 51-67 (2014)
Academic Journal
Electronic Proceedings in Theoretical Computer Science, Vol 146, Iss Proc. SR 2014, Pp 1-8 (2014)
검색 결과 제한하기
제한된 항목
[AR] Jean-François Raskin
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어