云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=抽象数据类型:共代数:双代数:共递归 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

抽象数据类型的双代数结构被引量：5: 《华南理工大学学报（自然科学版）》2011年第12期44-50,共7页苏锦钿余珊珊; 国家自然科学基金资助项目(61103039);高等学校博士学科点专项科研基金资助项目(20100172120043);华南理工大学中央高校基本科研业务费专项资金资助项目(2009ZM0158); 对抽象数据类型的语法构造和动态行为的性质及两者的关系而言,单纯利用代数或共代数方法进行研究存在一定的不足.文中结合范畴论及分配律给出抽象数据类型的双代数结构,并通过λ-双代数自然地描述了语法构造与动态行为之间的转换关系;...; 关键词：抽象数据类型:共代数:双代数:共递归

全选清除导出

共1页<1>