http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O112471073
2022년
eng
0288-3635
1882-7055
SCIE;SCOPUS
학술저널
New Generation Computing
467-480 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
0
상세조회0
다운로드
Preface to Hagiya-sensei's 26-th Birthday Special Issue
Codensity Games for Bisimilarity
Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types