Semantic Labelling for Proving termination of Combinatory Reduction Systems

Semantic Labelling for Proving termination of Combinatory Reduction Systems
复制标题

用于证明组合归约系统终止的语义标签

DOI：
--
复制
发表时间：
2010
期刊：
Functional and(Constraint)Logic Programming(WELP 2009) LNCS 5979
影响因子：
--
通讯作者：
M.Hamana
M.Hamana
中科院分区：
--
文献类型：
--
作者：
Harumichi Nishimura;Rudy Raymond;M.Hamana

文献摘要

相似文献