Semantic Labelling for Proving Termination of Combinatory Reduction Systems, Functional and Constraint Logic Programming, Lecture Notes in Computer Science
Semantic Labelling for Proving Termination of Combinatory Reduction Systems, Functional and Constraint Logic Programming, Lecture Notes in Computer Science
复制标题
用于证明组合约简系统终止的语义标签、函数和约束逻辑编程、计算机科学讲义
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
M. Hamana
中科院分区：
文献类型：
--
作者：
中島 隆;大野充昭;園山 亘;笈田育尚;Emilio S.Hara;前川賢治;窪木拓男;佐々木淳一,松本卓也,江草 宏,矢谷博文,今里 聡;M. Hamana
