학술논문
'학술논문'
에서 검색결과 80건 | 목록
1~10
Academic Journal
In Journal of Logical and Algebraic Methods in Programming August 2023 134
Academic Journal
In Journal of Logical and Algebraic Methods in Programming April 2022 126
Report
J. Logic. Algebr. Program 134 (2023) article 100887
Academic Journal
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn
In Journal of Logical and Algebraic Methods in Programming January 2020 110
Academic Journal
Denker, Grit; Talcott, Carolyn; Rosu, Grigore; van den Brand, Mark; Eker, Steven; Şerbănuţă, Traian Florin
In Electronic Notes in Theoretical Computer Science 28 July 2007 176(4):233-247
Academic Journal
In Electronic Notes in Theoretical Computer Science 3 July 2007 174(11):3-25
Academic Journal
In Electronic Notes in Theoretical Computer Science April 2004 71:162-187
Academic Journal
In Electronic Notes in Theoretical Computer Science April 2004 71:144-161
Academic Journal
Eker, Steven; Krummenacker, Markus; Shearer, Alexander G.; Tiwari, Ashish; Keseler, Ingrid M.; Talcott, Carolyn; Karp, Peter D.
검색 결과 제한하기
제한된 항목
[AR] Eker, Steven
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어