姜京順: "古典線形論理型プログラミング言語の静的解析の一手法について"情報処理学論文誌:プログラミング. (採録予定). (2000)
姜京順: "古典線形論理型プログラミング言語の静的解析の一手法について"情報処理学論文誌:プログラミング. (採録予定). (2000)
复制标题
Kyung-sun Kang：“经典线性逻辑编程语言的静态分析方法”《信息处理杂志：编程》（待接受）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
