학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 38건 | 목록 30~40
Academic Journal
Assaf, Ali (F-POLY-NDM) AMS Author Profile; Díaz-Caro, Alejandro (RA-UNQ) AMS Author Profile; Perdrix, Simon (F-UPARIS-PPS) AMS Author Profile; Tasson, Christine (F-UPARIS-PPS) AMS Author Profile; Valiron, Benoît AMS Author Profile
Logical Methods in Computer Science (Log. Methods Comput. Sci.) (20140101), 10, no.~4, 4:8, 40~pp. eISSN: 1860-5974.
Conference
Assaf, Ali (F-INRIA14) AMS Author Profile
13th International Conference on Typed Lambda Calculi and Applications (20150101), 31-44.
Conference
Assaf, Ali (F-POLY-NDM) AMS Author Profile
20th International Conference on Types for Proofs and Programs (20150101), 27-46.
검색 결과 제한하기
제한된 항목
[AR] Assaf, Ali
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어