Masahito KURIHARA,Azuma OHUCHI: "Termination of direct sum of simplyーterminating term rewriting systems." International Conference on Information Technology Commemorating the 30th Anniversary of the Information Processing Society of Japan (InfoJapan'90).
Masahito KURIHARA,Azuma OHUCHI: "Termination of direct sum of simplyーterminating term rewriting systems." International Conference on Information Technology Commemorating the 30th Anniversary of the Information Processing Society of Japan (InfoJapan'90).
复制标题
Masahito KURIHARA、Azuma OHUCHI：“简单终止术语重写系统的直接求和的终止。”纪念日本信息处理学会成立 30 周年的国际信息技术会议 (InfoJapan90)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
