RATH-Agda公司 swMATH ID: 13303 软件作者: Kahl,W。 描述: RATH-Agda:Agda中的关系代数理论。RATH-Agda项目的基本范畴和寓言理论库,包含(仅零星地真正包含)文学理论,从半群类,即“没有恒等式的范畴”,到“动作格范畴”,即同时属于Kleene范畴的除法寓言(即类型Kleene-代数),也包括单体类。这些理论旨在作为高级编程的接口;这个当前的集合特别包括使用具体关系的实现,以及许多构造,包括部分等价关系的商 主页: 网址:http://relmics.mcmaster.ca/RATH-Agda/ 相关软件: 阿格达;CASL公司;孢子虫;马蒂塔;弗拉马-C;伊莎贝尔/伊萨尔;卡宴 引用于: 3文件 1位作者引用 三 Wolfram卡尔 连载1篇 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 三 计算机科学(68至XX) 2 范畴理论;同调代数(18-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文