• 马戏团

  • 87篇参考文献[SW21828 ]
  • 描述马戏团的语言和形式化它的模型在霍尔…
  • MML

  • 47篇参考文献[SW06970]
  • 图书馆(MML)是一个庞大的语料库。形式化的数学知识。它已建成…其他图书馆的社区形式化的数学知识可能占据法律…
  • 颜色

  • 37篇参考文献[SW09806]
  • 重要问题。我们展示了一个图书馆形式化基础理论的重要成果…
  • PSI结石

  • 9篇参考文献[ SW28 73]
  • 并发约束PI演算。我们有形式化的PSI算法在交互式定理证明器伊莎贝尔…有效途径。而不同的方法形式化单粘结剂结石已经提出了…探索得很好。主要努力在形式化是保持机器检查证明…
  • 迈希尔神经

  • 10篇参考文献[ SW28 54 7]
  • 形式化基于正则表达式的迈希尔Nelod定理。有很多教科书…不幸的是,自动机并不那么简单。形式化在定理证明中。原因是…
  • ZRC

  • 14篇参考文献[SW21827 ]
  • 本身主要是ZRC是完全的形式化的. 在本文中,我们解释如何程序…
  • A3PAT

  • 7篇参考文献[SW21588]
  • 由两个发展组成:瓢虫库形式化许多改写技术和终止标准…瓢虫我们的抽象层次形式化允许我们弱化某些定理的前提…我们提出第一个完整的COQ形式化在CIME3中采用的技术也提高了…以前的作品形式化和依赖图的分析…
  • 阿斯特拉

  • 12篇参考文献[SW0052]
  • 故障树分析(FTA)是一种形式化的演绎技术允许调查可能的原因…
  • 克莱恩代数

  • 7篇参考文献[SW32 203]
  • KENEN代数:这些文件包含一个形式化Kleene algebras和他们的变体…程序构造与验证。我们从开始形式化二元,这是相加的幂等半环…我们已经瞄准了一个参考形式化KLeNe代数的变型,覆盖…
  • HOCL

  • 7篇参考文献[SW07078]
  • 化学溶液这个模型可以形式化的作为关联、交换、条件多重集的重写,其中…成为一流公民。这个扩展是形式化的通过$Gamma $演算,哪个…
  • 共感应

  • 6篇参考文献[SW28 537 ]
  • 伊莎贝尔共感性:本文集形式化通用的共感数据类型和集合。目前。。。保尔森和文策尔。扩展与其他共感性形式化欢迎大家感兴趣…
  • 芬芬

  • 5篇参考文献[ SW28 536]
  • 形式化FIFNFS——生成函数作为伊莎贝尔/HOL数据的代码。FIFFUNS是全部功能…有限映射的推广。我们形式化他们在伊莎贝尔/霍尔,并提出如何安全…将该方法应用于可执行文件形式化集合和使用它的语义…
  • SCTL—MUS

  • 8篇参考文献[SW02245]
  • 系统开发。为了形式化该模型是一个多值因果时序逻辑,称为…
  • ML4PG

  • 8篇参考文献[SW07140]
  • ML4PG帮助我们形式化一个有效的算法来计算逆…
  • 遗传有限集

  • 5篇参考文献[SW29 249]
  • 遗传有限集理论形式化的随着Swierczkowski的发展…Godel不完备性定理形式化的分别…
  • 德洛格

  • 7篇参考文献[ SW09839 ]
  • 提出一种变换DL公理的方法,形式化的在α-dl语言中,进入…