http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Primitive String Transformations as Reductions to Nomal Form
Barnett, M.P.;Rui, X. The Group 1990 p.28-33
Infix to Prefix Conversation as a PST Reduction
Barnett, M.P.;Rui, X. The Group 1990 p.34-38
Diverse Executable Semantics Definitions in NUSL and An Implementation of Funtional Types
Jiang, X.;Xu, Y. The Group 1990 p.39-52
Are Constructive Formal Specifications Less Abstract?
Horebeek, I. Van;Lewi, J. The Group 1990 p.60-68