• 科卡斯尔

  • 在26篇文章中引用[sw13076]
  • 过程代数建模。CoCasl,一种新开发的煤系代数规范语言Casl的扩充。。。在这样一个代数中-煤系框架。事实证明,科卡斯尔能应付。。。Casl的代数世界煤系CoCasl的结构涵盖了不同的过程。。。
  • 引用18条[sw16105]
  • 煤系逻辑编程:从语义到实现。共同归纳的定义,例如无限的。。。同时具有核心草书特征。观察和煤系语义学被用来抽象地研究它们。。。从抽象范畴论语义学出发,发展哥尔盖布拉描述自然生长的树木和过程。。。
  • 明洛

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

  • 在14篇文章中引用[sw07016]
  • 巨像:巨人煤系逻辑可满足性求解器煤系逻辑可满足性求解器,决定可满足性。。。
  • 比格布拉

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

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

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

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

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

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

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

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

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

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