2024-04-25T04:01:36Z https://oai.zbmath.org/v1/

oai:zbmath.org:6014269 2012年3月13日t11:46:59Z 03

小岛贤介；Atsushi Igarashi 2011 6014269 英语 爱思唯尔（学术出版社），加利福尼亚州圣地亚哥 https://zbmath.org/06014269 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目元数据和从I4OC（CC0）导出的参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” Inf.计算。209，第12期，1491-1503（2011）。 03B44；05年3月 构造线性时间逻辑：证明系统与克里普克语义 j个