机械化语义库 swMATH ID: 13123 软件作者： Appel，A.W.、Dockins，R.、Hobor，A公司 描述： 机械化语义库是一个数学技术集合，用于开发程序逻辑和类型系统的语义模型：分离代数、权限共享模型、间接理论（步骤索引的干净公理化）和模态逻辑。该库特别强调将技术顺利集成到机械定理证明器中；目前该库只能在Coq中使用 主页： http://vst.cs.princeton.edu/msl/ 相关软件： Coq公司;线程;布吉;Rtac公司;ModuRes公司;VeriSmall公司 引用于： 5文件 全部的 前5名11位作者引用 三 阿奎那·霍伯 2 拉尔斯·比克达尔 2 克里斯蒂安·吉尔吉纳 1 阿列舍·比兹亚克 1 罗伯特·多金斯 1 罗伊斯，伯恩哈德 1 施温哈默（Jan Schwinghammer） 1 菲利普·西奇科夫斯基 1 克里斯蒂安·斯特夫林 1 雅各布·塔姆斯堡 1 杨红seok 连载1篇 1 计算机科学中的逻辑方法 在3个字段中引用 5 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 一般拓扑结构（54至XX） 按年份列出的引文