Aart Middeldorp: "Approximations for Strategies and Termination"Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, Electronic Notes in Computer Science. 70(6). (2002)
Aart Middeldorp: "Approximations for Strategies and Termination"Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, Electronic Notes in Computer Science. 70(6). (2002)
复制标题
Aart Middeldorp：“策略和终止的近似”第二届国际重写和编程策略研讨会论文集，计算机科学电子笔记。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
