Hideki, Yamanaka: "Compilation of Regular Term Rewriting Systems into Constructor Ones with Call-by-Value Strategy" IEICE Technical Report. COMP88-96. 61-70 (1989)
Hideki, Yamanaka: "Compilation of Regular Term Rewriting Systems into Constructor Ones with Call-by-Value Strategy" IEICE Technical Report. COMP88-96. 61-70 (1989)
复制标题
Hideki, Yamanaka：“使用按值调用策略将常规术语重写系统编译为构造函数”IEICE 技术报告。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
