• 莫德

  • 引用678篇文章[sw06233]
  • 支持等式和重写广泛应用的逻辑规范和程序设计。。。等式规范和编程,Maude也支持重写逻辑计算。。。
  • 水獭

  • 在316篇文章中引用[sw02904]
  • 调节,它包括术语的设施重写,定期订单,Knuth Bendix完成,加权。。。
  • 吸血鬼

  • 引用241篇文章[sw02918]
  • 重言式删除(可选模交换性),包含解析,重写通过有序的单位等式,和一个轻量级。。。
  • 肉豆蔻4

  • 引用215篇[sw06905]
  • 基于地面方程的决策过程重写已应用。如果检测到可满足性。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 基于重写. 但是重写本质上是不确定的,因为有几个规则。。。这与许多现有的重写-基于语言的术语缩减策略。。。战略运营商并通过重写规则。战略应用评估本身就是基于。。。重写. 所以简单而著名的重写提供逻辑框架。。。
  • 批准

  • 在154篇文章中引用[sw07831]
  • 自动终止证明系统重写系统(TRSs)。这是第一个工具。。。
  • 皮提亚8

  • 引用127篇文章[sw09347]
  • Fortran,Pythia 8代表一个完整的重写在C++中。当前版本是第一个。。。
  • 西洋陆军棋

  • 引用75篇文章[sw01259]
  • 程序转换。Stratego语言提供重写表示基本转换的规则,可编程重写策略。。。对象语言的语法,动态的重写表示上下文相关转换的规则,因此。。。
  • 收入

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

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

  • 引用了55篇文章[sw28904]
  • 概述重写规则实验室(RRL)。RRL公司(重写规则实验室)最初开发。。。基于重写技术。现在它已经成熟成。。。
  • 干净

  • 参考58篇文章[sw01346]
  • 基于项图的函数语言重写. 它是专门为使开发。。。清除其中的项图重写语义学。特别重要的是。。。
  • 仙人掌

  • 引用79篇文章[sw04422]
  • 仙人掌发布(4.0版)完成重写早期版本,这使得高度模块化。。。
  • 巴别塔

  • 引用71篇文章[sw03018]
  • 懒散归约语义包含了两者重写以及SLD分辨率和支持计算的潜在。。。
  • 进展

  • 引用了70篇文章[sw02905]
  • 类型概念。支持图形编程重写系统。一个集成的类型检查器能够。。。
  • K检验器

  • 引用42篇文章[sw32257]
  • 原始语言或微积分语法。K(重写)规则概括了传统重写通过明确规定。。。像其他术语一样处理重写环境,也就是说,他们可以匹配。。。
  • 廷布克

  • 引用47篇文章[sw06351]
  • 在期限内实现可达性的证明重写操作树自动机的系统(底部…树自动机上的操作,字母表,术语,术语)重写系统。。。
  • 塞塔

  • 引用46篇文章[sw06584]
  • 自动终止工具重写系统,现在。大多数工具。。。首先形式化了术语的必要理论重写包括三个主要的终止标准:依赖对。。。
  • MU-TERM公司

  • 在34篇文章中引用[sw10015]
  • 用于证明上下文相关终止的工具重写. 限制重写最终可以实现终止。。。修剪无限重写从每个学期开始发布序列。上下文相关重写... 不同的方式,证明普通法的终止重写. 企业社会责任终止的证明也。。。
  • 颜色

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