Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: "Deterministic Second-order Patterns and Its Application to Program Transformation"International Symposium on Logic-based Program Synthesis and Transformation(LOPSTR2003). (2003)
Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: "Deterministic Second-order Patterns and Its Application to Program Transformation"International Symposium on Logic-based Program Synthesis and Transformation(LOPSTR2003). (2003)
复制标题
Tetsuo Yokoyama、胡镇江、Masato Takeichi：“确定性二阶模式及其在程序转换中的应用”基于逻辑的程序合成与转换国际研讨会(LOPSTR2003)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
