• 科卡斯尔

• 在26篇文章中引用[sw13076]
• 过程代数建模。CoCasl，一种新开发的煤系代数规范语言Casl的扩充。。。在这样一个代数中-煤系框架。事实证明，科卡斯尔能应付。。。Casl的代数世界煤系CoCasl的结构涵盖了不同的过程。。。

• 煤

• 引用18条[sw16105]
• 煤系逻辑编程：从语义到实现。共同归纳的定义，例如无限的。。。同时具有核心草书特征。观察和煤系语义学被用来抽象地研究它们。。。从抽象范畴论语义学出发，发展哥尔盖布拉描述自然生长的树木和过程。。。

• 中央结算系统

• 引用的第25条[sw03357]
• 结合代数和煤系元素。CCSL编译器翻译CCSL规范。。。

• 明洛

• 引用了20篇文章[sw09765]
• 支持代数和余代数. Minlog是一个交互式系统，它实现。。。

• 巨像

• 在14篇文章中引用[sw07016]
• 巨像：巨人煤系逻辑可满足性求解器煤系逻辑可满足性求解器，决定可满足性。。。

• 比格布拉

• 引用19篇文章[sw00078]
• 处理张量积，Graßmann和Clifford代数，余代数和Hopf代数。最近的结果显示。。。

• 动物园概率系统

• 参考7篇文章[sw28541]
• 文献中研究了概率系统。哥尔盖布拉被用来把它们分为。。。

• 很酷

• 引用4篇文章[sw11992]
• 酷——一个通用的推理机煤系混合逻辑。我们描述煤系本体逻辑求解器。。。一般水平是煤系逻辑，一个涵盖广泛的逻辑框架。。。

• BMaude公司

• 引用2篇文章[sw10135]
• 隶属关系等式逻辑。代数和煤系规范是否整合？行为对等如何。。。理论有代数和煤系语义学，包括终代数。我们也。。。

• GENCSL公司

• 1条引用[sw15831]
• 煤系时钟约束规范语言的语义模型。时钟约束规范语言。。。基于“时钟”概念的ccsl}哥尔盖布拉”. 协代数承诺给出一个统一的。。。

• 共数据型

• 1条引用[sw28678号]
• 连接和迭代的定义煤系文学不是原始的草书，它们需要。。。

• 公理

• 参考170篇文章[sw00063]
• 公理是一个通用的计算机代数系统。。。

• 可口可乐

• 在1799篇文章中引用[sw00161]
• Coq是一个正式的证据管理系统。它。。。

• FEPG公司

• 引用5篇文章[sw00276]
• 有限元程序生成器（FEPG）是一种新型的有限元程序生成器。。。

• 差距

• 引用2874篇文章[sw00320]
• GAP是一个计算离散代数系统。。。

• 哈斯卡斯

• 17条引用[sw00399]
• 集成高阶规范与程序开发。。。

• 伊莎贝尔

• 在606篇文章中引用[sw00454]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• 小姑娘

• 引用了29篇文章[sw00505]
• 局部自相似分析-LASS工具。。。

• 棱镜

• 引用了415篇文章[sw01186]
• PRISM：概率符号模型检查器。在本文中。。。

• 谦虚

• 引用32篇文章[sw01544]
• 谦虚——一种随机建模和描述语言。。。