• 精炼一元

  • 参考6篇文章[sw28551号文件]
  • 中的程序和数据精化框架伊莎贝尔/霍尔。该框架基于不确定性。。。接受的表格伊莎贝尔/霍尔代码生成器。。。
  • 伊索

  • 引用5篇文章[sw10106]
  • 中的函数(的一阶子集)伊莎贝尔/霍尔通过将它们编码为术语重写系统。。。所有必要的属性都是从内部派生出来的伊莎贝尔/霍尔没有神谕。除了认证。。。证明义务的减少伊莎贝尔/霍尔相应期限的终止。。。
  • 加博SCC

  • 引用8篇文章[sw28915]
  • 强连通分量算法。我们提出伊莎贝尔/霍尔Gabow算法的形式化。。。
  • 芬芬斯

  • 引用5篇文章[sw28536]
  • 从生成函数的代码作为数据伊莎贝尔/霍尔.FinFuns是常数的总函数。。。有限映射。我们把它们正式化伊莎贝尔/霍尔并介绍如何安全地安置伊莎贝尔。。。
  • 赶时髦的人

  • 参考7篇文章[sw11223]
  • 理论探索与证据辅助相结合伊莎贝尔/霍尔理论探索是一种自动。。。
  • 摊余复杂度

  • 参考7篇文章[sw28606]
  • 功能数据结构形式化为伊莎贝尔/霍尔并应用于许多标准示例。。。
  • 克莱恩代数

  • 参考7篇文章[sw32203]
  • 作为公理类型类的重要模型伊莎贝尔/霍尔克莱恩代数是计算的基本结构。。。
  • 歌德神

  • 参考7篇文章[sw32223]
  • 哥德尔的上帝伊莎贝尔/霍尔达娜·斯科特对哥德尔的证明。。。
  • 自动2

  • 参考6篇文章[sw17595号文件]
  • 证明步骤。我们在伊莎贝尔/霍尔,并将其应用于几个形式化项目。。。
  • 隐窝

  • 参考6篇文章[sw28582]
  • 在中形式化加密参数的框架伊莎贝尔/霍尔它简单地嵌入了一个概率函数编程语言。。。
  • 收藏

  • 引用4篇文章[sw28610]
  • 面向对象编程,并在中实现它们伊莎贝尔/霍尔。框架的特点是使用数据。。。黑树)。的代码生成器伊莎贝尔/霍尔可以用来生成高效的代码。。。
  • PLM公司

  • 引用3篇文章[sw38031]
  • 逻辑自动化原理伊莎贝尔/霍尔我们展示了第二个。。。自动推理框架中的形而上学(PLM)伊莎贝尔/霍尔抽象物体理论。。。功能逻辑理论伊莎贝尔/霍尔基于Aczel的语义表示。。。物体。理论的嵌入伊莎贝尔/霍尔在这次发现中起了至关重要的作用。。。
  • 阿米科

  • 引用5篇文章[sw21182]
  • 扩展校对助手的工具,伊莎贝尔/霍尔,灵活的函数定义远远超出了原始的corecursion。。。
  • Lem公司

  • 引用4篇文章[sw09395]
  • 用于测试、Coq、HOL4和伊莎贝尔/霍尔作为证明,乳胶和HTML。。。
  • 伊莎福

  • 引用4篇文章[sw19193]
  • 灵感来自IsaFoR/CeTA项目(伊莎贝尔/霍尔规范化重写认证终止分析)在大学。。。
  • 马尔可夫模型

  • 引用4篇文章[sw28576]
  • 马尔可夫模型的形式化伊莎贝尔/霍尔它以伊莎贝尔的概率论为基础。可用的。。。
  • Lambda免费RPO

  • 引用4篇文章[sw28792]
  • Lambda自由高阶项。这个伊莎贝尔/霍尔形式化定义递归路径顺序(RPO)用于更高的。。。
  • AODV

  • 引用4篇文章[sw29232]
  • AODV的几个变种伊莎贝尔/霍尔可以自动重新确立大多数证明义务。。。