粕谷英人, 酒井正彦, 阿草清滋: "項書換え系におけるディセンダントと頭必須書換えの頭正規化性"電子情報通信学会技術報告. COMP2002. 65-72 (2001)
粕谷英人, 酒井正彦, 阿草清滋: "項書換え系におけるディセンダントと頭必須書換えの頭正規化性"電子情報通信学会技術報告. COMP2002. 65-72 (2001)
复制标题
Hideto Kasuya、Masahiko Sakai、Kiyoji Asa：“后代的头部规范化和术语重写系统中所需的头部重写”IEICE 技术报告 65-72 (2001)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
