• 莫德

  • 620篇参考文献[SW06263]
  • 支持等式和等式的语言和系统重写广泛的逻辑规范和编程…等式规范和编程,Maude也支持重写逻辑运算…
  • 水獭

  • 301篇参考文献[SW02904]
  • 参数化,包括术语重写,项序,Knuth Bendix完成,加权…
  • 吸血鬼

  • 206篇参考文献[SW0918]
  • 重言式删除(可选的模交换性),包容决议,重写按有序的单位等式,和轻量级的…
  • 埃兰

  • 101篇参考文献[SW02179]
  • 基于函数的评价原理重写. 但是重写本质上是不确定性的,因为有几个规则…这与许多现有的对比。重写基于语言的术语缩减策略…策略运算符并定义它们重写规则战略应用评价本身是基于…重写. 因此,简单而著名的范例重写同时提供逻辑框架…
  • MACE4

  • 185篇参考文献[SW06905]
  • 基于地面等式的决策过程重写应用。如果检测到可满足性…
  • 证明

  • 141篇参考文献[ SW07831 ]
  • 术语自动终止证明系统重写系统(TSS)。这是第一个工具…
  • 西洋陆军棋

  • 72篇参考文献[SW01259]
  • 程序转换。战略语言提供重写表示基本变换的规则,可编程的重写策略对象语言的语法和动态重写表示上下文敏感变换的规则,因此…
  • 雷沃

  • 67篇参考文献[SW28 907]
  • ReVE学期的计算机实验重写系统生成器术语重写系统生成器称为…ReVE建立汇合和一致终止项重写系统由方程组组成。特别强调…
  • Pysia8

  • 99篇参考文献[SW0937]
  • FORTRAN,PythIa 8代表一个完整的重写在C++中。当前发布是第一个…
  • 提洛尔

  • 88篇参考文献[SW07830]
  • 自动证明(和反驳)终止项重写系统这是完全重新设计的继任者…
  • RRL

  • 55篇参考文献[SW28 904]
  • 概述重写规则实验室(RRL)。RRL(重写规则实验室)最初开发…基于等式逻辑的推理算法重写技法现在已经成熟成…
  • 清洁

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

  • 73篇参考文献[SW044 22]
  • 仙人掌的释放(4版)完成重写早期版本,使高度模块化…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 懒惰还原语义,体现了两者重写和SLD分辨率和支持计算潜在的…
  • 普罗格斯

  • 68篇参考文献[SW02905]
  • 类型概念。它支持图形化编程重写系统综合型检查器能够…
  • 蒂姆布克

  • 45篇参考文献[SW06351]
  • 关于术语可达性的证明重写系统和操纵树自动机(底部)…树自动机、字母、术语、术语的操作重写系统
  • 多学期

  • 34篇参考文献[SW10015]
  • 上下文敏感终止证明工具重写. 限制重写最终可以实现终止…修剪无限重写从每个学期颁发的序列。上下文敏感的重写证明普通人终止的不同方式重写. CSR终止的证明也是…
  • 西梅

  • 38篇参考文献[SW0970]
  • 肟是一种重写工具箱自1996以来作为开源发布,在URL HTTP://CIM.LRI.FR…终止上下文敏感的www/DSIC.USP/SLUCAS/CSR/终止/ MUMENT/)重写CARIOBO工具(在南印度开发)GEST)终止重写在策略和MTT工具(http://www. Lcc.UMA.Es/yDura/MTT…
  • 颜色

  • 37篇参考文献[SW09806]
  • 颜色:一个建立良好的COQ图书馆重写关系及其在自动化系统中的应用图灵完备性形式主义重写. 多年来,许多方法和工具已经…建立良好理论的结果重写在证明助理中的关系…
  • 艾达

  • 57篇参考文献[SW11535]
  • 不变量:不变量生成集的计算,改写Sygiges及其差异类似物。包裹…