• IMPS

  • 49篇参考文献[SW09143]
  • 相对而言执行推理。公理的 理论可以相互关联…
  • 姆巴斯

  • 17篇参考文献[SW0824]
  • 发现了整个知识库公理的配置理论. 这种方法的可行性…
  • 机械化语义库

  • 5篇参考文献[SW13123]
  • 代数,许可共享模型,间接理论(干净的)公理化步骤索引)和模态逻辑…
  • 精益

  • 22篇参考文献[SW15148]
  • 基于依赖型的小型可信内核理论. 它的目的是弥合……之间的鸿沟。互动与完全规定的建构公理的校样。精益是一个持续的和长期的…目前用于形式化范畴理论同伦型理论抽象代数。我们描述…
  • 公理范畴论

  • 1篇参考文献[SW32222]
  • ARXIV.ORC/ABS/160901493)我们还包括一个公理的 理论在我们的实验中。此附加理论
  • DASTACT

  • 1篇参考文献[SW13729 ]
  • DASTA:一种辅助决策软件公理的共识理论. 有各种各样的尝试,解决方法…称为DASTACT(辅助决策软件)公理的共识理论)创建以协助从业人员选择…基于一个详尽的评价公理的属性和共识函数,定义知识…
  • 霍特

  • 11篇参考文献[SW15147]
  • 单价基础类库与同伦型理论另一个是UNIMATH。图书馆包括…基本类型的形式化,一些公理的更高的电感类型,包括圆…康托空间与基本定理理论的H水平,以及大量的…
  • YOT

  • 35篇参考文献[SW12334 ]
  • 命令式程序的类型。我们描述了一个公理的扩展到辅导员证明助理,即…霍尔型以前的工作理论(HTT)。我们展示了这些公理是如何结合的…
  • 克莱恩代数

  • 7篇参考文献[SW32 203]
  • 代数及其最重要模型公理的伊莎贝尔/ HOL中的类型类。克莱恩代数…应用自动机和语言理论计算建模、程序构造和验证…
  • 泰康

  • 2篇参考文献[SW25267]
  • 变压器这些理论包含第一类类型构造函数的形式化。公理的构造函数类…
  • 最短路径

  • 1篇参考文献[SW3266]
  • 公理的单源最短路径问题的表征。理论被分成…一个众所周知的形式证明公理的单源最短路径问题的表征…
  • Java+ITP

  • 8篇参考文献[SW32 259]
  • 作为一个等式的这个片段的语义理论在Maude。它支持组合推理。编程语言的语义,其中CPS公理化确实很有用,同样发展…
  • 罗斯科克

  • 1篇参考文献[SW1385]
  • 明确规定公理化的. 对于物理学的推理,我们使用和推广玉米理论具有建设性的…
  • LPTP

  • 7篇参考文献[SW01822]
  • Prolog程序。这是一级订单。理论包含归纳原理对应的…归纳推广是适当的公理化纯PROlog的操作语义…
  • 辅酶Q

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