聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 对象行为等价的终结共代数语义
出处:计算机科学 2012年第2期 179-182,190,共5页
摘要:终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利... 显示全部
关键词: 对象 行为等价 共代数方法 终结共代数
在线阅读 下载全文
找到1条结果
`