证据的语义框架
摘要
工具书类
建议
基础证明证书:使证明具有普遍性和永久性 LFMTP’13:第八届ACM SIGPLAN逻辑框架与元语言国际研讨会论文集:理论与实践 考虑这样一个世界,将证据导出为声明性、通用性和永久性格式被视为计算逻辑系统的“特征零”。 在这样一个世界里,证明者将能够交流和分享定理和证明。。。
评论
信息和贡献者
问询处
发布时间
出版商
出版历史
作者标记
限定符
第条
贡献者
其他指标
文献计量学和引文
文献计量学
文章指标
7 引文总数 查看引文 0 总下载次数
下载量(最近12个月) 0 下载次数(最近6周) 0
其他指标
引文
引用人
Al Wardani F公司 乔杜里K 米勒D (2023) 使用分布式断言的形式推理 组合系统的前沿 10.1007/978-3-031-43369-6_10 (176-194) 在线发布日期:2023年9月20日 曼托瓦尼M 莫米利亚诺A (2021) 面向基于子结构特性的测试 基于逻辑的程序合成与转换 10.1007/978-3-030-98869-2_6 (92-112) 在线发布日期:2021年9月7日 米勒D (2020) 一个分布式可信的形式化证明Web 分布式计算与互联网技术 10.1007/978-3-030-36987-3_2 (21-40) 在线发布日期:2020年1月9日 布兰科·R 米勒D 莫米利亚诺A Komendantskaya E公司 (2019) 通过证据重建进行基于属性的测试 第21届声明式程序设计原理与实践国际研讨会论文集 10.1145/3354166.3354170 (1-13) 在线发布日期:2019年10月7日 乔杜里K 意大利面M 米勒D 马布比A Myreen M公司 (2019) 证明skolemization的证明理论方法 第八届ACM SIGPLAN认证程序和证明国际会议记录 10.1145/3293880.3294094 (78-90) 在线发布日期:2019年1月14日 希思·Q 米勒D (2019) 模型检验的证明理论 自动推理杂志 2007年10月10日/10817-018-9475-3 63 :4 (857-885) 在线发布日期:2019年12月1日 米勒D (2017) 校对和逻辑编程 计算的形式方面 2007年10月1日/00165-016-0393-z 29 :3 (383-399) 在线发布日期:2017年5月1日