Foundations of the Rule-based System ρLog
Foundations of the Rule-based System ρLog
复制标题
基于规则的系统 ρLog 的基础
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Kutsia
中科院分区：
文献类型：
--
作者：
Mircea;Marin・Temur;Kutsia
登录
查看更多内容
用不动点重写微积分：无类型和一阶系统
DOI：
10.1007/978-3-540-24849-1_10
发表时间：
2003
期刊：
--
影响因子：
--
作者：
Horatiu Cirstea;L. Liquori;Benjamin Wack
通讯作者：
Benjamin Wack
惰性条件缩小的新完整性结果
DOI：
10.1145/1013963.1013979
发表时间：
2004
期刊：
--
影响因子：
--
作者：
M. Marin;A. Middeldorp
通讯作者：
A. Middeldorp
rho Log 中的推导和呈现
DOI：
10.1016/j.entcs.2003.12.033
发表时间：
2004
期刊：
--
影响因子：
--
作者：
M. Marin;Florina Piroi
通讯作者：
Florina Piroi
CafeOBJ的逻辑基础
影响因子：
1.1
作者：
R. Diaconescu;K. Futatsugi
通讯作者：
K. Futatsugi
上下文匹配可以用于 XML 查询吗？
DOI：
--
发表时间：
2005
期刊：
Proceedings of the 19^<th> International Workshop on Unification (UNIF'05), Nara, Japan.
影响因子：
--
作者：
Temur Kutsia;Mircea Marin
通讯作者：
Mircea Marin