聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 Hopf代数同态与Hopf理想
出处:广西师范学院学报:自然科学版 2002年第4期 23-26,共4页
摘要:利用Hopf代数的基本研究方法,讨论了在Hopf代数同态下有关商Hopf代数的性质并对余代数的基本同态定理进行... 显示全部
关键词: 代数 代数同态 理想 双代数 双理想 反极元
期刊文章 类型化π演算的双代数语义
出处:计算机研究与发展 2012年第8期1773-1780,共8页
摘要:证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴... 显示全部
关键词: 共代数 双代数 演算 进程语义 互模拟
在线阅读 下载全文
期刊文章 抽象数据类型的双代数结构及其计算
出处:计算机研究与发展 2012年第8期1787-1803,共17页
摘要:程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代... 显示全部
关键词: 抽象数据类型 代数 共代数 双代数 递归 共递归
在线阅读 下载全文
期刊文章 抽象数据类型的双代数结构
出处:华南理工大学学报:自然科学版 2011年第12期 44-50,共7页
摘要:对抽象数据类型的语法构造和动态行为的性质及两者的关系而言,单纯利用代数或共代数方法进行研究存在一定... 显示全部
关键词: 抽象数据类型 共代数 双代数 共递归
在线阅读 下载全文
期刊文章 程序语言中的共归纳数据类型及其应用
出处:计算机科学 2011年第11期 114-118,共5页
摘要:归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构,但在描述动态行为方面存在一定的... 显示全部
关键词: 归纳数据类型 共归纳数据类型 范畴论 代数 共代数 双代数
在线阅读 下载全文
期刊文章 范畴数据类型上的子类型
出处:华南理工大学学报:自然科学版 2013年第9期58-64,共7页
摘要:为探讨包含构造操作和观察操作的范畴数据类型上的子类型关系及性质,将双代数作为范畴数据类型上构造操作和... 显示全部
关键词: 代数 共代数 双代数 范畴数据类型 子类型
在线阅读 下载全文
找到6条结果
`