• 批准

  • 引用145篇文章[sw07831]
  • 最强大的自动终止系统证明属于学期重写系统(TRSs。。。不同终端的完全灵活组合证明技术。基于这个框架,一个。。。
  • 水獭

  • 在310篇文章中引用[SW904号文件]
  • 学期排序,Knuth-Bendix完成,权重,以及指导和限制搜索的策略证明...
  • 泽农

  • 引用21篇文章[sw06753]
  • 生成Coq证明(证明脚本或证明 条款),可以重新插入。。。
  • MPTP 0.2

  • 引用了43篇文章[sw02589]
  • 摘要的分类与非对称化条款. 全尾翼证明现在导出并编码。。。
  • 廷布克

  • 引用46篇文章[sw06351]
  • 实现目标的工具集合证明可及性期限重写系统和操纵。。。
  • 帕科

  • 17条引用[sw10885]
  • 避免其语法保护性检查证明 条款. 我们发现PCX的收益率。。。
  • 换乘

  • 在26篇文章中引用[sw21009]
  • 他们想写下定义和证明在里面条款更具体的表现形式。。。
  • 举起

  • 在26篇文章中引用[sw21010]
  • 他们想写下定义和证明在里面条款更具体的表现形式。。。
  • 塞塔

  • 引用42篇文章[sw06584]
  • 终止证明使用CeTA。有许多自动工具可以证明学期重写。。。许多复杂的终止标准。由此产生证明可能是巨大的,这使得。。。终止证明. 为此,我们首先将学期重写包括。。。在生成的证明. 此外,如果证明不接受。。。
  • 收入

  • 引用68篇文章[sw28907]
  • 描述。收入建立汇合和一致终止学期从方程组重写系统。特别是。。。重点放在终止的机械化上证明. 事实上,REVE。。。
  • 香车叶草

  • 引用44篇文章[sw19568]
  • 单位方程逻辑的定理证明器。证明程序是可靠的Knuth Bendix完成[BDP89。。。条款时间和空间。在这个范围内,一个完整的证明对象。。。
  • 阿格索尔

  • 参考第4条[sw13302]
  • 证明支票支票证明 学期语言。这个学期语言是用证明... 控制子顺序的优先级证明 学期实例化。搜索是基于背面。。。已实现)。论成功证明 学期可以显示组成解决方案。证据 条款... 报告的SZS dataform类别不是证据或派生,尽管证明有报道。稳健性。。。
  • 吸血鬼

  • 在233篇文章中引用[sw02918]
  • 条款和条款。运行时算法专业化。。。证明了,系统产生了一个可验证的证明,这验证了从句化阶段。。。
  • 卡里布

  • 在14篇文章中引用[sw10064]
  • 基于规则的程序CARIBOO是一种终止证明用于基于规则的编程语言的工具,其中。。。没有策略)免费学期代数,我们的证明名为CARIBOO的工具(用于计算抽象。。。
  • 路易

  • 在10篇文章中引用[sw19627]
  • 信息的显示证明图表,一个选择性的学期具有超文本功能的浏览器,证明...
  • A3PAT公司

  • 引用8篇文章[sw21587]
  • 另外,证明,全自动化,终止证明对于学期重写系统。它包括。。。Coq的技术和终止标准证明助手;CiME3重写工具翻译终止。。。
  • 瘦身

  • 引用28篇文章[sw15148]
  • 完全规定公理证明. 精益是一个持续而漫长的过程-学期努力,但已经。。。
  • 颜色

  • 在38篇文章中引用[sw09806]
  • 特别是在证明助理。这是一个非常活跃的话题。。。图灵完全形式论的研究学期重写。多年来,很多方法。。。证明助理助理。本文还介绍了它的应用。。。
  • MU-TERM公司

  • 在34篇文章中引用[SW15号文件]
  • 生成的第一个终端工具学期基于这种多项式解释的排序。这些订单。。。证明普通重写终止的方法。校样终止企业社会责任也有可能。。。限制)也在mu中实现-学期...
  • VeriML公司

  • 引用8篇文章[sw13522号文件]
  • 逻辑运算条款在一种有效果的语言里。现代的证明这样的助手。。。态度。这限制了证明开发过程中,由于用户避免开发领域。。。支持操作逻辑条款比如命题和证明. 背后的主旨。。。