• 莫德

  • 649篇参考文献[SW06263]
  • 二者兼备的语言与制度均等的改写逻辑一个广泛的规范和编程…可以看作是一个均等的 逻辑副语言。除了支持均等的规范和编程…
  • 箴言9

  • 166篇参考文献[SW0496]
  • 一阶定理证明器均等的 逻辑和MACE4搜索有限的模型…
  • Obj3

  • 137篇参考文献[SW05370]
  • 基于排序的证明系统均等的 逻辑. 它已成功地用于研究…
  • RRL

  • 55篇参考文献[SW28 904]
  • 自动推理算法的实验研究均等的 逻辑基于重写技术…
  • ITP

  • 31篇参考文献[ SW09808]
  • 支持规范的增量开发。会员资格均等的 逻辑是一个表达性的版本均等的 逻辑
  • 香车叶草

  • 43篇参考文献[SW19568 ]
  • 单位定理证明器均等的 逻辑. 它的证明程序是Knuth Bendix完工的完好程序[BDP89]…
  • JPAX

  • 29篇参考文献[SW09906]
  • 高速重写系统均等的 逻辑,但这里扩展了可执行时间逻辑
  • 调试器

  • 15篇参考文献[SW09904]
  • 重写的声明式调试逻辑规格声明式调试是一种半自动的技术,开始…找出错误。会员资格均等的 逻辑(MEL)是一个均等的 逻辑另外…方程允许一个描述一个类别元素的隶属公理。重写逻辑最少排序均等的重写子集逻辑并且重写和设置可到达的…
  • 水獭

  • 312篇参考文献[SW02904]
  • 证明一阶定理逻辑平等的。水獭的推理规则是基于…符号计算器,有嵌入式均等的编程系统。水獭是第四代阿贡…抽象代数与形式化研究逻辑. 水獭及其前身已被使用…
  • 雅帕

  • 18篇参考文献[ SW0739 ]
  • 基于相似语言均等的 逻辑学知识通常表现为两种关系:演绎性…各种关系下的这些关系均等的理论。然而,每一种理论都有其独特的算法。
  • 情商

  • 12篇参考文献[SW15620]
  • 一阶定理证明程序均等的 逻辑. 它的优点是关联性的良好实现。匹配,各种策略均等的推理和快速搜索。似乎表演…
  • 库莫

  • 5篇参考文献[SW06963]
  • 一阶逻辑隐藏均等的 逻辑实施,包括诱导和共诱导。KUMO生成…
  • 羊蹄

  • 56篇参考文献[SW1548]
  • 各种新问题,包括双曲线方程不属于保护形式的问题…具有容量函数的源项,以及逻辑上矩形曲线网格。开发的框架要求…
  • 博莫德

  • 2篇参考文献[SW10135]
  • 走向行为莫德:行为成员均等的 逻辑. 如何将代数和余代数规范集成在一起?隐藏排序语义。Maude的底层均等的 逻辑会员资格均等的 逻辑推广和增加…多排序有序排序均等的 逻辑学. 我们开发了一个隐藏排序的成员资格扩展…均等的 逻辑并给出了理论既有代数又有余代数的条件。
  • KIVA-2

  • 62篇参考文献[ SW0898]
  • 易用性。KIVA-2方程数值求解程序非常普遍…为内燃机计算编写的逻辑对于这些规格可以很容易地修改…程序,我们详细描述方程求解了数值解过程和结构…
  • 对等机

  • 3篇参考文献[SW3958]
  • 实施基于收缩的策略均等的 逻辑模关联性和交换性,具有仿形,简化…
  • KBCV

  • 2篇参考文献[SW1945]
  • (DIS)证据的产生均等的 逻辑支持。最后,该工具输出证明…
  • 罗夫基因

  • 13篇参考文献[SW10954 ]
  • 多仿射微分方程式模型,动态特性表示为线性时间逻辑不确定参数…
  • 索伊辛

  • 3篇参考文献[SW0631]
  • 支持高阶逻辑字母表均等的推理和“程序作为谓词”的风格…
  • UTP2

  • 3篇参考文献[SW0632]
  • 支持高阶逻辑字母表均等的推理和“程序作为谓词”的风格…