Uncurrying for Termination. In Proceedings of the 15th International Conferences on Logic for Programming
Uncurrying for Termination. In Proceedings of the 15th International Conferences on Logic for Programming
复制标题
取消柯里化以终止。
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Harald Zankl
中科院分区：
文献类型：
--
作者：
Nao Hirokawa;Aart Middeldorp;Harald Zankl
