• 电除尘器

  • 149篇参考文献[SW06302]
  • 自动化的定理-先证者排序逻辑与类型理论。后者…只包含相关的命令证明 定理交互地。TPS和ETPS在公共LISP中运行…在Windows下。自动化的潜在应用定理 证明包括硬件和软件验证,部分自动化…用于证明 定理第一和较高的-排序逻辑交互,自动…
  • TPS

  • 68篇参考文献[SW0933]
  • 自动化的定理-先证者排序逻辑与类型理论。后者…只包含相关的命令证明 定理交互地。TPS和ETPS在公共LISP中运行…在Windows下。自动化的潜在应用定理 证明包括硬件和软件验证,部分自动化…用于证明 定理第一和较高的-排序逻辑交互,自动…
  • 雅典娜

  • 10篇参考文献[SW09667 ]
  • 定理 证明环境一脉相承。作为一种编程语言,自由神弥涅尔瓦是较高的-排序定理 证明系统,雅典娜是基于许多排序第一排序逻辑。许多排序首先…排序逻辑学是一种非常有表现力的语言;一些逻辑学家(例如Maria Manzano)统一所有其他逻辑的框架,包括较高的-排序逻辑。它保持可追踪性…
  • HO88

  • 2篇参考文献[SW19615]
  • 互动环境定理 证明在一个较高的-排序逻辑。它最突出的特点…
  • 转移

  • 22篇参考文献[SW21009]
  • 较高的-排序逻辑。通常,用户希望建立一个操作库。定理关于软件包:传输包证明 定理和用于定义常数的提升包…
  • 举起

  • 22篇参考文献[SW21010]
  • 较高的-排序逻辑。通常,用户希望建立一个操作库。定理关于软件包:传输包证明 定理和用于定义常数的提升包…
  • 拉尔

  • 9篇参考文献[SW08505]
  • 关系代数我们提出了一个定理 证明抽象关系代数系统称为RALL(=关系)语言和逻辑,基于泛型定理证明者伊莎贝尔。一方面…异质关系代数的语言包括较高的-排序运算符和域结构,并检查…
  • 整体性

  • 1篇参考文献[SW30124]
  • 证明者较高的-排序逻辑。我提出了一个自动化系统。定理 证明进入较高的
  • RGITL

  • 5篇参考文献[SW13917]
  • 区间时态逻辑(ITL)与较高的-排序逻辑。它扩展了显式交错程序ITL…后果,微积分允许证明分解定理这减少了关于交错程序的推理…
  • 次协调性

  • 1篇参考文献[SW28 72]
  • 命题片段较高的-排序逻辑。逻辑是基于所谓的…无限数量的真值。我们证明 定理在逻辑中使用定义…
  • UTP2

  • 3篇参考文献[SW0632]
  • ASCII土地)定理 证明第二助理排序谓词演算,旨在支持…Saoistin(发音“见Heon”)Saoistin是定理证明者是为了支持统一的理论而发展起来的…主要设计目标是支持较高的-排序逻辑、字母、等式推理和“程序……”
  • TS

  • 3篇参考文献[SW14208]
  • 类型:(1)简单类型较高的-排序函数、递归数据类型和基于字典的可扩展记录…主要定理采用一种类型保持编译,其中我们证明所有运行时…
  • 羚羊

  • 2篇参考文献[SW24050]
  • 计算的标准模型证明在程序验证中具有通用性。被称为CalBAN,是懒惰的,较高的-排序和多态性。这个定理证明者,叫做Celo,提供…隐含尝试的证明规则证明假设前提条件下的后验条件…
  • 辅酶Q

  • 1696篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • Gap

  • 2563篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 杂种

  • 14篇参考文献[SW0421]
  • 混合:一个包较高的-排序语法在…
  • ILTP

  • 22篇参考文献[SWO4437 ]
  • 直觉逻辑定理 证明(ILTP)图书馆提供…