• 雅典娜

  • 在10篇文章中引用[sw09967]
  • 基于许多的-已排序一阶逻辑.很多-已排序一阶逻辑是一个非常。。。曼扎诺在她的“一阶扩张”中逻辑)认为它可以被查看。。。其他逻辑学,包括高阶逻辑. 它保留了一阶的可操作性逻辑(完整性。。。将Hindley-Milner风格的多态性添加到许多的-已排序 逻辑,这进一步增加了它的灵活性。。。
  • 单调

  • 引用4篇文章[sw10406]
  • 许多的-已排序一级未分类逻辑. 我们对已排序 逻辑... 在未排序和许多的-已排序 逻辑利用这个事实。。。更自然地表达在许多的-已排序一阶逻辑比未分类的好逻辑但大多数。。。未分类逻辑. 这种情况促使翻译在两个方面许多的-已排序以及未分类的问题。。。
  • 抽象完整性

  • 引用4篇文章[sw28585]
  • 经典命题实例化逻辑. 更严重的例子---许多的-已排序平起平坐。。。
  • BMaude公司

  • 引用2篇文章[sw10135]
  • 扩展隐藏-已排序par Maude的基本等式逻辑,成员资格等式逻辑,概括和增加。。。表达能力许多的-已排序还有秩序-已排序等式逻辑学. 我们开发了一个隐藏的-已排序...
  • 傻瓜

  • 引用3篇文章[sw14287]
  • 文章可以翻译成一阶逻辑可以用来证明。。。布尔型分类与其他种类从而阻碍了一阶。。。提出一个延伸傻瓜许多的-已排序一阶逻辑,其中布尔值分类...
  • DTRE公司

  • 引用3篇文章[sw22672]
  • 指定为参数化理论许多的-已排序一阶逻辑; 通常这些理论都是以。。。
  • 数字

  • 引用2篇文章[sw08148]
  • 表示许多的-已排序一阶逻辑. 此子集将逻辑...
  • 独奏者

  • 1条引用[sw16438号]
  • 基于许多的-已排序一阶度量时态逻辑,用新的时间模式扩展。。。
  • 木桶

  • 引用了173篇文章[sw02235]
  • CoFI开发的规范语言叫做。。。
  • 吸血鬼

  • 引用241篇文章[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动定理。。。
  • THF0型

  • 在14篇文章中引用[sw03310]
  • THF0是一个句法保守的扩展。。。
  • 艾菲尔

  • 引用289篇文章[sw03522]
  • 埃菲尔是一个ISO标准化,面向对象的编程。。。
  • TPTP

  • 引用383篇文章[sw04143]
  • TPTP(成千上万的定理证明问题。。。