共代数相关论文
本论文主要研究共代数中的互模拟证明方法及其应用两个方面。
代数理论已被证实在计算机科学中具有广泛的应用，其对偶概念——......
代数方法从“构造”的角度研究抽象数据类型的语义，并且已经在抽象数据类型、计算机语言的形式语义等领域有了广泛的应用。而代数的......
共代数理论自从20世纪90年代以来，已经得到广泛的研究和应用，越来越引起计算机研究人员的关注，已经成为理论计算机科学的研究热点之一......
共代数是代数的对偶概念，基于观察的角度考察集合及其上操作。计算机科学中很多系统都可以归结为共代数，如自动机、抽象数据类型、面......
学位
共代数方法是近几年来理论计算机科学的研究热点之一，在并行计算模型、自动机及面向对象技术的理论基础方面有着广泛的应用．以范畴理......
基于组件的软件开发能够有效提高软件开发的质量与效率。但在一些安全关键的领域,由于形式化模型与方法的缺乏,使得基于组件的开发......
归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构,但在描述动态行为方面存在一定的不足。作为归纳数据类......
范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采......
作为代数的对偶概念,共代数概念在20世纪90年代中后期以来在国际上得到了理论计算机学界的广泛关注.对于计算机科学而言,代数从构......
代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被......
为探讨包含构造操作和观察操作的范畴数据类型上的子类型关系及性质,将双代数作为范畴数据类型上构造操作和观察操作的统一数学描......
证明互模拟同余通常冗长且易出错．双代数为解决该问题提供统一的框架：若行为函子保持弱回拉，共代数范畴到基范畴的忘却函子有右伴函子......
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题，利用完全偏序范畴上的多项式函子分别给出带固定参数和......
作为经典集合论的扩张，非良基集合论具有更为丰富的集合全域。它能够提供一套完备的工具刻画现实世界中众多的循环现象。共代数是代......
