喵ID：Ujkk7b
I.Durand et al: "Decidable Call by Need Computations in Term Rewriting" Proc.of 14th International Conference on Automated Deduction. LNAI 1249. (1997) I.Durand et al: "Decidable Call by Need Computations in Term Rewriting" Proc.of 14th International Conference on Automated Deduction. LNAI 1249. (1997)
I.Durand et al: "Decidable Call by Need Computations in Term Rewriting" Proc.of 14th International Conference on Automated Deduction. LNAI 1249. (1997)
I.Durand et al: "Decidable Call by Need Computations in Term Rewriting" Proc.of 14th International Conference on Automated Deduction. LNAI 1249. (1997)I.Durand 等人：“术语重写中需要计算的可判定调用”第 14 届国际自动演绎会议论文集。
基本信息
DOI：
--
--发表时间：
--
--期刊：
影响因子：
--
--通讯作者：
中科院分区：
文献类型：
--
-- 作者：
研究方向： --
MeSH主题词： --
关键词： --
来源链接：pubmed详情页地址
文献摘要
暂无数据
参考文献（0）
被引文献（0）
暂无数据
数据更新时间：2024-06-01
关联基金
computation model for higher-order functional-logic languages
批准号：
08458059
08458059批准年份：
1996
1996资助金额：
2.43
2.43项目类别：
Grant-in-Aid for Scientific Research (B)
Grant-in-Aid for Scientific Research (B)