喵ID：p7ymQu
T.Yamada et al.: "Logicality of Conditional Rewrite Systems" Proceedings of the 22nd International Colloquium on Trees in Algebra and Programming(CAAP'97). LNCS1214. 141-152 (1997) T.Yamada et al.: "Logicality of Conditional Rewrite Systems" Proceedings of the 22nd International Colloquium on Trees in Algebra and Programming(CAAP'97). LNCS1214. 141-152 (1997)
T.Yamada et al.: "Logicality of Conditional Rewrite Systems" Proceedings of the 22nd International Colloquium on Trees in Algebra and Programming(CAAP'97). LNCS1214. 141-152 (1997)
T.Yamada et al.: "Logicality of Conditional Rewrite Systems" Proceedings of the 22nd International Colloquium on Trees in Algebra and Programming(CAAP'97). LNCS1214. 141-152 (1997)T.Yamada 等人：“条件重写系统的逻辑性”第 22 届国际代数和编程树研讨会论文集 (CAAP97)。
基本信息
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)