• 霍尔灯

  • 引用288篇文章[sw06580]
  • 交互式经典证明助手较高的-秩序逻辑,作为一个简洁的版本。。。
  • ETPS公司

  • 引用156篇文章[sw06302]
  • 自动定理证明器-秩序逻辑与类型论。后者。。。第一和定理的证明较高的-秩序逻辑交互的,自动的,或混合的。。。证明和解决统一问题较高的-秩序逻辑。它有一个公式编辑器。。。
  • 大锤

  • 引用了119篇文章[sw07047]
  • 首先利用外部的工具-秩序自动定理证明者(ATP)履行交互证明义务。。。萨塔拉克斯,最突出的两个较高的-秩序ATPs,提高其在较高的-秩序问题。。。
  • 木桶

  • 引用172篇文章[sw02235]
  • 各种亚语言。它扩展到较高的-秩序、基于状态的、并发的和其他语言。。。
  • 口齿不清

  • 引用126篇文章[sw07201]
  • 自动存储管理、动态键入、条件语句,较高的-秩序函数、递归和自托管编译器。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 非正式数学。这个较高的-秩序其潜在类型理论的力量。。。
  • GHC公司

  • 参考文献103篇[sw06691]
  • Glasgow Haskell编译器内联线。较高的-秩序像Haskell这样的语言鼓励程序员构建。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 自动定理证明器-秩序逻辑与类型论。后者。。。第一和定理的证明较高的-秩序逻辑交互的,自动的,或混合的。。。证明和解决统一问题较高的-秩序逻辑。它有一个公式编辑器。。。
  • 利奥二世

  • 引用51篇文章[sw00512]
  • 独立,基于分辨率较高的-秩序定理证明器设计用于与专家证明者的有效合作。。。自然碎片较高的-秩序逻辑。目前,LEO-II可与TPII合作。。。第一个-秩序自动定理证明器,如E,SPASS,Gandalf和Vampire。世界冠军。。。分部(自动化较高的-秩序逻辑)在CASC-J5。在卡斯特。。。
  • 高阶逻辑

  • 引用47篇文章[sw01580]
  • HiLog:为较高的-秩序逻辑编程。我们描述了一种新的逻辑,叫做HiLog。。。传统谓词逻辑。HiLog有一个较高的-秩序语法和允许任意术语出现。。。谓词演算。但它的语义是第一位的-秩序并承认了一个可靠而完整的证据。。。讨论了HiLog,包括DCG语法,较高的-秩序模块化逻辑编程和演绎数据库。。。
  • 沙塔拉

  • 引用49篇文章[sw06849]
  • 自动定理证明器较高的-秩序逻辑。特定形式的较高的-秩序支持逻辑。。。
  • 皮克特

  • 引用71篇文章[sw08929]
  • 数据结构,返回结果的协议,较高的-秩序编程、选择性通信和并发对象。。。
  • Coq/S参考

  • 引用64篇文章[sw09360]
  • 颜色定理和利用较高的-秩序柯克的基本逻辑。。。
  • 吹毛求疵

  • 参考61篇文章[sw00622]
  • 以Kodkod为基础,首先基于SAT-秩序关系模型查找器。吹毛求疵支持无限量化。。。与其他模型查找者相比的反例较高的-秩序逻辑,没有形式上的限制。。。
  • 引用了35篇文章[sw12334]
  • 支持写作、推理和提取较高的-秩序,具有副作用的独立键入程序。。。要构建的Coq抽象机制较高的-层次推理机制反过来。。。有限映射,包括对较高的-秩序(有效的)迭代器。实现范围从简单。。。
  • 再见

  • 引用47篇文章[sw12088]
  • 支持逻辑、约束、功能的语言,较高的-秩序,以及面向对象编程样式。它的主要。。。
  • 蛤蜊

  • 引用24篇文章[sw19614]
  • 支持校样规划的系统较高的-秩序域:系统描述:校对规划较高的... λClam系统在校样规划中的应用较高的-秩序逻辑。应用的有效性和可行性。。。较高的-秩序对一些类型的问题,特别是。。。硬件系统。使用较高的-秩序元理论克服了在蛤蜊中遇到的问题,因为。。。
  • FDL3DI

  • 引用44篇文章[sw24948号]
  • 在FDL3DI中实现。一系列较高的-秩序提出了解决导航问题的方案。。。
  • dcc公司

  • 引用32篇文章[sw07577]
  • 第一代较高的-秩序正切线性伴随码。作者包括。。。示例和练习;*第一个和第二个较高的-秩序有限元的切线线性模式和伴随模式。。。
  • DiffSharp公司

  • 引用25篇文章[sw16033]
  • 雅可比向量积)的应用较高的-秩序其他函数,就是。。。意思是你可以精确计算较高的-秩序内部的导数或微分函数。。。