2024-04-20T00:14:24Z https://oai.zbmath.org/v1/

oai:zbmath.org:7128702 2019-11-12T13:20:43 Z 03 68

布鲁诺·泽维尔；卡洛斯·奥拉特（Carlos Olarte）；Reis，Giselle；Vivek Nigam先生 2018 7128702 英语 https://zbmath.org/07128702 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能通过API以适当的许可证提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” Alves，Sandra（编辑）等人，《逻辑和语义框架及其应用第十二次研讨会论文选集》（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 219-236 (2018). 68V20；03B35；03F05；03F52；68伏15 Coq中聚焦线性逻辑的机械化 一