• 莫德

  • 引用652篇文章[sw06233]
  • 支持等式和重写 逻辑广泛的规格和编程。。。规范和编程,Maude还支持重写 逻辑计算。。。
  • 玩具

  • 引用了55篇文章[sw09812号文件]
  • 其基础是基于构造函数的重写 逻辑对于懒惰的非确定性函数。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 支持定理证明器的设计,逻辑编程语言,约束求解器和决策程序。。。基于重写. 但是重写本质上是不确定的,因为有几个规则。。。众所周知的重写同时提供符合逻辑的推理系统的框架。。。
  • JPAX公司

  • 引用了29篇文章[sw09906]
  • 伤痕中的使用者重写 逻辑,莫德是高速重写系统。。。这里扩展了可执行的时间逻辑. 伤者号重写引擎随后启动。。。
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 证明一阶定理逻辑平等地。水獭的推理规则是基于。。。调节,它包括术语的设施重写,定期订单,Knuth Bendix完成,加权。。。抽象代数与形式化研究逻辑. 水獭和它的前辈已经被使用。。。
  • 爪哇凡

  • 引用了30篇文章[sw01934]
  • Java和JVM的语义重写 逻辑然后利用莫德的能力。。。执行、搜索和LTL模型检查重写理论。。。
  • RRL公司

  • 引用了55篇文章[sw28904]
  • 概述重写规则实验室(RRL)。RRL公司(重写规则实验室)最初开发。。。等式自动推理算法逻辑基于重写技术。现在它已经成熟成。。。
  • 数据发生器

  • 引用15篇文章[sw09904]
  • 的声明性调试重写 逻辑规范。声明性调试是一种半自动的技术,它可以启动。。。描述一类元素的特征。重写 逻辑是一个逻辑改变的延伸。。。具有子集的类重写 逻辑,和重写和可及项集。。。基于重写 逻辑. 我们用一个例子来说明它的用法。。。
  • 宝塔

  • 在14篇文章中引用[sw08569]
  • 重写 逻辑软约束框架。扩展软约束来处理经典约束。。。Bistarelli,Montanari和Rossi重写 逻辑. 作为一个案例研究,我们提出了一个应用程序。。。在我们的原型中实现解决方案重写 逻辑软约束框架,嵌入。。。
  • 百万吨

  • 引用16条[sw07905]
  • MSOS与之间的语义保持映射重写 逻辑(RWL)。模块化SOS定义形式(MSDF。。。
  • APS公司

  • 引用了29篇文章[sw08969]
  • 计算:程序、函数、代数(重写规则)和符合逻辑的. 所有这些都可以用来。。。讨论。这些包括数据结构,代数模块,重写计算,规范形式,构建工具。。。
  • 库尔

  • 参考7篇文章[sw32263]
  • KOOL:一个应用重写 逻辑语言原型和分析。本文介绍了库尔。。。中定义的动态、面向对象语言重写 逻辑. 库尔被设计成一个实验。。。提供的灵活性优势重写 逻辑允许快速原型制作。。。扩展和重写 逻辑. 这个支持通过几个例子来说明。。。
  • 动量2

  • 在10篇文章中引用[sw10025]
  • 利用图变换和重写 逻辑技术。我们举例说明我们的方法。。。
  • 吸血鬼

  • 引用232篇文章[sw02918]
  • 一阶经典定理的自动证明器逻辑. 它由一个外壳组成。。。重言式删除(可选模交换性),包含解析,重写通过有序的单位等式,和一个轻量级。。。完全一阶问题逻辑语法,子句化它并执行一个数字。。。
  • Web TLR

  • 引用8篇文章[sw09905]
  • 基于重写 逻辑. Web应用程序表示为重写理论上。。。
  • Java+ITP

  • 引用8篇文章[sw32259]
  • 支持合成推理逻辑对于我们建议的这个Java片段。。。可扩展和模块化重写 逻辑编程语言的语义,CPS公理化确实是。。。
  • 伊朱利恩

  • 引用5篇文章[sw09903]
  • 基于切片的轨迹分析重写 逻辑iJulienne规范。我们给你一个线索。。。条件分析器重写 逻辑可以用来计算抽象视图的理论。。。
  • 距离兽人

  • 引用5篇文章[sw10063]
  • 为兽人提议的,包括重写 逻辑语义学由作者开发。兽人也。。。基于实现的描述技术重写 逻辑Maude这大大缩小了差距。。。
  • 阿尼玛

  • 引用4篇文章[sw10101]
  • 检查重写 逻辑计算(以参数化和逐步的方式)。痕迹检验涉及。。。痕量检测技术重写 逻辑允许非确定性执行的理论。。。
  • 伦塔尔

  • 引用9篇文章[sw07312]
  • 作为等级制度逻辑程序设计语言。LMNtal(读作“elemental”)是一种简单的语言。。。基于层次图的模型重写使用符合逻辑的代表连通性和膜的变量。。。规则,两个值得注意的并发扩展逻辑编程。我打算。。。尤其是那些解决并发性、移动性和多集性的问题重写. 虽然LMNtal的主要目标。。。