• MTT法

  • 引用21篇文章[sw09783]
  • 显著的发展理论终止重写,它在高级编程中的应用。。。重写关系。特别地,广义的 重写 理论(GRT)是最近一般化属于重写 理论...
  • ChC 3

  • 参考11篇文章[sw09781]
  • 排序重写 理论. 为了重写 理论为了可执行,它的方程E应该。。。抽象的发展,关键在于理论与地面相干。此外,许多规格。。。免费的案子,还有更多一般的设置。我们提出了数学基础。。。排序的一致性检验重写 理论在这些下面一般的假设。我们还解释。。。
  • 颜色

  • 在38篇文章中引用[sw09806]
  • 图灵完全形式主义重写. 多年来,许多方法和工具已经。。。具体问题(因为在一般的). 确保这些工具的可靠性。。。理论有充分理由的(重写)证据助理的关系。。。
  • 雅帕

  • 引用18条[sw02739]
  • 以任何收敛性作为输入的等价性重写系统。我们证明我们的算法包括。。。理论. 我们还提供了一个有效的实现,并将其与更多的一般的...
  • 匹配工具

  • 引用8篇文章[sw27512]
  • 有效场理论. 它提供了构建的工具一般的通过定义他们的领域来建模。。。包含将这些术语转换为重写以任何被选中的。。。
  • 隐士

  • 引用3篇文章[sw09886]
  • 核心语言,原始语言库重写,以及基于shell样式的脚本语言。。。一般的-或者因为开发人员的兴趣是理论而不是实施。。。
  • HoTTSQL酒店

  • 引用2篇文章[sw27484]
  • 基于K-关系和同伦型理论,我们把关系表示为数学函数。。。重写规则,包括数据库研究文献中的规则(例如,魔术集重写)和现实世界。。。重写规则以前从未被证明是正确的。另外,查询等价性是通常地...
  • Nuprl灯

  • 1条引用【sw31982】
  • 通用定理证明器,Nuprl Light使用广义的逻辑规范的喇叭子句。事实上,规格。。。Nuprl灯也允许理论包含重写,使用计算同余。。。
  • ACL2

  • 引用了275篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 差距

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

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

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

  • 引用5766篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 恶心

  • 引用544篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。