Productive corecursion in logic programming
Productive corecursion in logic programming
复制标题
逻辑编程中的高效核心递归
DOI：
10.1017/s147106841700028x
复制
发表时间：
2017
影响因子：
1.4
通讯作者：
KOMENDANTSKAYA E
中科院分区：
文献类型：
--
作者：
KOMENDANTSKAYA E
