• VMTL公司

  • 引用8篇文章[sw10065]
  • 自动分析终止学期 重写许多系统引起了人们的注意。。。分析有条件的 学期 重写系统(CTRS)。使用最新的。。。
  • 条件汇流

  • 参考第6条[sw13315]
  • 一阶自动汇流检验器有条件的 学期 重写系统。该工具实现了各种融合。。。提出了一种简单的测试方法有条件的不可行的临界对,这使得有条件的汇流。。。
  • 康康

  • 引用2篇文章[sw21589]
  • 可靠的汇流检查器有条件的 期限 重写系统。康康是一个全自动汇流检查器。。。定向一阶有条件的 学期 重写系统(CTRS)。它是用Scala编写的,可用。。。
  • 斯佩克特

  • 引用3篇文章[sw01114]
  • 由用广义表示的公理组成条件 学期 重写规则,应用策略。。。公理的标准形式由条件在房屋和建筑物里。。。
  • 电车

  • 引用2篇文章[sw03369]
  • 排序的抽象机有条件的 学期 重写系统(OSCTRS)。OSCTRSs可以提供。。。策略可以通过组合来适当地控制并行性条件. 在本文中,我们描述了该系统的设计。。。
  • 二氧化碳

  • 1条引用[sw28113]
  • 证明有条件的 学期 重写系统(CTR)通过使用转换方法。。。
  • Java+ITP

  • 引用8篇文章[sw32259]
  • 转化为语义等价的一阶验证条件(风投)然后送到莫德。。。长-学期这个项目的目标是使用可扩展的和模块化的重写逻辑语义学。。。
  • 差距

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

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

  • 引用了2720篇文章[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 引用于5714篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用522篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 恶心

  • 引用了533篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。
  • 减少

  • 引用738篇文章[sw00789]
  • REDUCE是一个通用代数的交互系统。。。