• 水獭

  • 310篇参考文献[SW02904]
  • 参数化,它包括学期 重写学期排序,Knuth Bendix完成,加权…
  • 证明

  • 144篇参考文献[ SW07831 ]
  • 自动终止证明系统学期 重写系统(TSS)。这是第一个工具…
  • 雷沃

  • 68篇参考文献[SW28 907]
  • 用ReVE进行计算机实验学期 重写系统生成器学期 重写系统生成器称为…ReVE构建汇合均匀终止学期 重写系统由方程组组成。特别强调…
  • 提洛尔

  • 89篇参考文献[SW07830]
  • 自动证明(和反驳)终止学期 重写系统这是完全重新设计的继任者…
  • 蒂姆布克

  • 46篇参考文献[SW06351]
  • 实现可达性的证明术语 重写系统和操纵树自动机(底部)…对树自动机、字母表的操作条款术语 重写系统
  • 清洁

  • 58篇参考文献[SW01346]
  • 基于函数语言术语重写. 它是专为发展而设计的…语言干净,其中术语重写语义学。特别重要的是实用的…
  • 塞塔

  • 40篇参考文献[ SW065 84]
  • 自动工具证明终止学期 重写现在的系统。这些工具中的大多数…首先将所需的理论形式化学期 重写包括三个主要终止标准:依赖对…
  • 埃兰

  • 108篇参考文献[SW02179]
  • 基于函数的评价原理重写. 但是重写本质上是不确定性的,因为有几个规则…在同一位置的不同位置应用学期在ELAN中,计算可能有…与许多现有的对比重写基于语言的学期减少策略是硬连线的…策略运算符并定义它们重写规则战略应用评价本身是基于…
  • 阿特姆

  • 43篇参考文献[SW03160]
  • 著名图书馆学期 重写社区本文讨论了电流…
  • 颜色

  • 37篇参考文献[SW09806]
  • 颜色:一个建立良好的COQ图书馆重写关系及其在自动化系统中的应用图灵完成形式主义学期 重写. 多年来,许多方法和工具已经…
  • 布尔人

  • 27篇参考文献[ SW000 085 ]
  • 向量和数组。它使用学期 重写比特爆破来处理位向量和引理…
  • 多学期

  • 34篇参考文献[SW10015]
  • 学期一种证明上下文敏感终止的工具重写. 限制重写最终可以…重写序列发布学期. 上下文敏感的重写(CSR)就是这样的一个例子。永久禁止的。本文描述了MU-学期是一种可以自动实现的工具。产生第一终止工具学期基于这样的多项式解释的排序。这些排序…
  • K检查器

  • 40篇参考文献[SW32 257]
  • 推广常规重写通过明确哪些部分的规则学期他们读,写…像其他人一样处理条款在一个重写环境,也就是说,它们可以匹配…原来的地方学期,修改,甚至删除,K是特别适合的…
  • CSI

  • 21篇参考文献[SW09767 ]
  • 描述了一种新的汇合工具。学期 重写系统由于其模块化设计…
  • TXL

  • 16篇参考文献[SW11319]
  • 高级编程学期 重写在较低的水平,TXL提供…
  • 自硬岩

  • 8篇参考文献[ SW01282]
  • 检验性能的工具学期 重写系统休伊特和勒维已经表明…正交类学期 重写每一个系统(TSS)学期不正常的形式包含…每次归还合同重写序列的重复收缩需要的结果…
  • VMTL

  • 8篇参考文献[SW10065 ]
  • 自动终止分析学期 重写系统(TRS)引起了很多关注。条件终止行为分析学期 重写系统(CTRSS)。使用最新的…
  • 调和和

  • 41篇参考文献[SW10035]
  • 嵌套和和迭代积分条款基础表示。此外,包允许…算法重写某些类型的嵌套和表达式条款割圆的…