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