• 水獭

  • 在310篇文章中引用[sw02904]
  • 它包括学期 重写,学期订单,Knuth Bendix完成,加权。。。
  • 批准

  • 引用145篇文章[sw07831]
  • 自动终止证明系统学期 重写系统(TRSs)。这是第一个工具。。。
  • 收入

  • 引用68篇文章[sw28907]
  • 用REVE进行计算机实验学期 重写系统发电机。A学期 重写系统生成器调用。。。收入建立汇合和一致终止学期 重写方程组中的系统。特别强调。。。
  • 提洛尔人

  • 引用89篇文章[sw07830]
  • 自动证明(和反驳)终止学期 重写系统。它是完全重新设计的接班人。。。
  • 廷布克

  • 引用46篇文章[sw06351]
  • 实现可达性的证明期限 重写系统和操纵树自动机(底部。。。在树自动机上操作字母表,条款,期限 重写系统。。。
  • 干净

  • 参考58篇文章[sw01346]
  • 基于期限图形重写. 它是专门为使开发。。。语言干净期限图形重写语义学。特别重要的是。。。
  • 塞塔

  • 引用的第42条[sw06584]
  • 自动工具证明学期 重写系统,现在。大多数工具。。。首先正式化了学期 重写包括三个主要的终止标准:依赖对。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 基于重写. 但是重写本质上是不确定的,因为有几个规则。。。在不同的位置应用学期,在ELAN中,一个计算可能有。。。与许多现有的重写-基于语言,其中学期减少战略是硬连线的。。。战略运营商并通过重写规则。战略的应用本身就是。。。
  • 阿泰姆

  • 引用了43篇文章[sw03160]
  • 美国著名图书馆学期 重写社区。在本文中,我们讨论了当前。。。
  • 颜色

  • 在38篇文章中引用[sw09806]
  • 颜色:一个有根据的Coq库重写关系式及其在自动化系统中的应用。。。图灵完全形式主义学期 重写. 多年来,许多方法和工具已经。。。
  • 选择器

  • 27条引用[sw00085]
  • 向量和数组。它使用学期 重写,处理位向量的钻头爆破和引理。。。
  • MU-TERM公司

  • 在34篇文章中引用[sw10015]
  • 学期上下文验证工具的终止重写. 限制重写最终会。。。重写序列从每个学期. 上下文相关重写(CSR)就是这样一个例子。。。永久禁止。本文描述了mu-学期,一个可以自动。。。生成的第一个终端工具学期基于这种多项式解释的排序。这些订单。。。
  • K检验器

  • 引用41篇文章[sw32257]
  • 概括传统重写通过明确学期他们读,写。。。像其他人一样处理条款在一个重写环境,也就是说,他们可以匹配。。。在原来的地方学期,修改,甚至删除,K特别适合。。。
  • TXL公司

  • 17条引用[sw11319]
  • 更高层次的编程和学期 重写在较低级别,TXL提供。。。
  • 门框

  • 在14篇文章中引用[sw10066]
  • 自动终端校准仪学期 重写系统。。。
  • TPA公司

  • 引用13篇文章[sw10114]
  • 证明终止的工具学期 重写系统(TRSs)在一个完全自动化的方式。。。
  • 自动写入

  • 引用8篇文章[sw01282]
  • 用于检查属性的工具学期 重写Huet和Lévy系统已经证明。。。正交类学期 重写系统(TRSs)每学期不正常的形式包含。。。每次正火都会收缩redex重写序列)和重复收缩所需的红细胞结果。。。
  • VMTL公司

  • 引用8篇文章[sw10065]
  • 自动分析终止学期 重写系统(TRSs)引起了很多关注。。。条件终止行为分析学期 重写系统(CTRSs)。使用最新的。。。
  • 和声

  • 引用44篇文章[sw10035]
  • 中的嵌套和与迭代积分条款基本表示法。此外,该软件包允许。。。算法重写某些类型的嵌套和到表达式中条款分圆的。。。