共代数逻辑相关硕士博士期刊学术论文 - 搜论网

共代数逻辑相关论文

计算机科学中的共代数方法的研究综述

代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被......

期刊

共代数互模拟终结共代数共归纳原理共代数逻辑 coalgebra bisimulation final coalgebra coinduction

看过本文同时还关注