中文模板 Key words: coalgebra; bisimulation; final coalgebra; coinduction; coalgebraic logic [gap=295]关键词 : 共代数;互模拟;终结共代数;共归纳原理;共代数逻辑
基于6个网页-相关网页
-
终结余代数
- 引用次数：2
参考来源 - 有序观察系统
-
终结共代数
- 引用次数：1
参考来源 - 计算机科学中的共代数方法的研究综述 in C
·2,447,543篇论文数据，部分数据来源于NoteExpress