HOL环游世界

1991., International Workshop on the HOL Theorem Proving System and Its Applications Pub Date : 1991-08-28 DOI:10.1109/HOL.1991.596266

Sara Kalvala

{"title":"HOL环游世界","authors":"Sara Kalvala","doi":"10.1109/HOL.1991.596266","DOIUrl":null,"url":null,"abstract":"This document describes briefly projects which use the HOL proof system, based on contributions from the user community. The entries are in somewhat haphazard order and classification; the intent is to provide 0 brief synopsis of applications and a directory for future contacts. This list is by no means comprehensive - it just contains the contributions I have received.","PeriodicalId":213603,"journal":{"name":"1991., International Workshop on the HOL Theorem Proving System and Its Applications","volume":"5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"HOL Around The World\",\"authors\":\"Sara Kalvala\",\"doi\":\"10.1109/HOL.1991.596266\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This document describes briefly projects which use the HOL proof system, based on contributions from the user community. The entries are in somewhat haphazard order and classification; the intent is to provide 0 brief synopsis of applications and a directory for future contacts. This list is by no means comprehensive - it just contains the contributions I have received.\",\"PeriodicalId\":213603,\"journal\":{\"name\":\"1991., International Workshop on the HOL Theorem Proving System and Its Applications\",\"volume\":\"5 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1991-08-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"1991., International Workshop on the HOL Theorem Proving System and Its Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HOL.1991.596266\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"1991., International Workshop on the HOL Theorem Proving System and Its Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HOL.1991.596266","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

本文档简要描述了基于用户社区贡献的使用HOL证明系统的项目。条目的顺序和分类有些随意;目的是提供应用程序的简要介绍和未来联系人的目录。这份清单绝不是全面的，它只是包含了我收到的贡献。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

HOL Around The World

This document describes briefly projects which use the HOL proof system, based on contributions from the user community. The entries are in somewhat haphazard order and classification; the intent is to provide 0 brief synopsis of applications and a directory for future contacts. This list is by no means comprehensive - it just contains the contributions I have received.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

1991., International Workshop on the HOL Theorem Proving System and Its Applications

自引率

0.00%

发文量