Category Theoretic Semantics for Logic Programming: Laxness and Saturation
Category Theoretic Semantics for Logic Programming: Laxness and Saturation
复制标题
逻辑编程的范畴理论语义：松弛和饱和
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
J. Power
中科院分区：
文献类型：
--
作者：
J. Power
影响因子：
0.7
作者：
Komendantskaya E
通讯作者：
Komendantskaya E
逻辑编程的双代数语义
DOI：
--
发表时间：
2015
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
F. Bonchi;F. Zanasi
通讯作者：
F. Zanasi