• 莫德

  • 引用651篇文章[sw06233]
  • 性能反映语言和系统支持等式和重写逻辑规范和编程。。。
  • 批准

  • 在144篇文章中引用[sw07831]
  • 自动终止条款证明重写 系统(TRSs)。它是第一个自动化的工具。。。
  • 收入

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

  • 参考第89条[sw07830]
  • 证明(和反驳)期限终止重写 系统. 它是完全重新设计的接班人。。。
  • 进展

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

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

  • 引用41篇文章[sw06584]
  • 证明期限终止的工具重写 系统,现在。大多数工具。。。首先形式化了术语的必要理论重写包括三个主要的终止标准:依赖对。。。
  • 火柴盒

  • 引用24篇文章[sw10115]
  • 反向)匹配有界字符串重写 系统. 火柴盒可以搜索证据或反证。。。匹配给定的高度属性重写 系统,以及它的一些变形变体。这个。。。一些困难的弦的终止重写 系统...
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 当前自动扣款系统Otter被设计来证明一阶逻辑中的定理。。。调节,它包括术语的设施重写,定期订单,Knuth Bendix完成,加权。。。计算器和一个嵌入式等式编程系统. 水獭是第四代阿贡国家。。。
  • JPAX公司

  • 引用了29篇文章[sw09906]
  • 莫德高速在哪里重写 系统对于等式逻辑,但是这里扩展了。。。可执行时序逻辑。伤者号重写引擎随后被激活为事件驱动的监视。。。在运行期间应用于调查安全关键系统...
  • 伊兰

  • 参考文献108篇[sw02179]
  • 用于指定和原型化演绎的环境系统在一种基于规则控制的语言中。。。基于重写. 但是重写本质上是不确定的,因为有几个规则。。。范式重写提供两个逻辑框架系统可以表达。。。
  • 雅帕

  • 引用18条[sw02739]
  • 它以任何收敛为输入重写 系统. 我们证明我们的算法包括。。。
  • 肥猪

  • 在10篇文章中引用[sw06923]
  • 从图中产生的动态图重写 系统. 图形重写 系统表现为一种强大的形式主义。。。捕捉和研究复杂环境中发生的现象系统例如生物分子的进化。。。重写微积分将为专家提供与系统他们。。。研究,图形的交互式可视化重写 系统进入高级可视化编程环境。。。
  • 帕穆德

  • 引用了29篇文章[sw08422]
  • 概率对象规范语言系统. 我们介绍重写-基于语言的建模规范。。。
  • 罗斯洛普

  • 在10篇文章中引用[sw10019]
  • 确保终止中间和结果重写 系统. 而原则上任何一个约化命令。。。终止检查员验证重写 系统. 新方法是正确的。。。终止;结果重写 系统是收敛的,等价于输入理论。完成。。。
  • 卡里布

  • 在14篇文章中引用[sw10064]
  • 语言,其中程序是重写 系统查询求值包括重写...
  • 门框

  • 在14篇文章中引用[sw10066]
  • 字符串和术语的终止验证程序重写 系统...
  • TPA公司

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

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