• 科斯卡尔

  • 26篇参考文献[SW13076]
  • 建模过程代数。最近开发的CasCAL余代数扩展代数规范语言CASL…在这样的代数中余代数框架。事实证明,COCASL可以处理…CASL的代数世界,而附加的余代数COCASL的构造涵盖了各种过程…
  • 煤堆

  • 17篇参考文献[SW16105]
  • 余代数逻辑编程:从语义到实现。共归纳的定义,如无限的定义…一次恢复正常的特征。观测和余代数语义已被用来抽象地研究它们。从抽象范畴理论语义出发,发展余代数描述自然产生的树木和进行…
  • 科洛斯

  • 13篇参考文献[SW07016]
  • CoLoSS:余代数逻辑Satisfiability Solver CoLoSS余代数逻辑可满足解,决定可满足性…
  • 双脑

  • 16篇参考文献[ SW000 078]
  • 处理张量积,格拉·曼和Clifford algebras,余代数还有Hopf algebras。最近的研究结果表明…
  • 最小对数

  • 16篇参考文献[SW09665 ]
  • 支持代数的程序抽取工具余代数. MILLAMP是一个实现…的交互系统。
  • 4篇参考文献[SW11992 ]
  • 酷——一个通用的推理机余代数混合逻辑。我们描述了余代数本体逻辑求解器…一般性的水平是余代数逻辑,一个涵盖广泛的逻辑框架…
  • 博莫德

  • 2篇参考文献[SW10135]
  • 隶属度等式逻辑。代数与余代数规格集成?行为等价性如何?理论既有代数又有A。余代数语义,包括最终(共)代数。我们也…
  • GCCSL

  • 1篇参考文献[SW1583]
  • 余代数时钟约束规范语言的语义模型时钟约束规范语言…基于“时钟”概念的CCSL}余代数“。Co代数承诺给出统一的…
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • FEPG

  • 4篇参考文献[SW0266]
  • 有限元程序生成器(FEPG)是一种新型的有限元程序。
  • Gap

  • 2662篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 少女

  • 29篇参考文献[SW0505]
  • 自相似性的局部分析-LASS工具…
  • 棱镜

  • 393篇参考文献[SW01186]
  • 棱镜:概率符号模型检查器。在本文中…