2024-04-24T12:58:30Z https://oai.zbmath.org/v1/

oai:zbmath.org:720084 1995年2月9日T23:00:00Z 68

普拉萨德·西斯特拉。 1994 720084 英语 纽约州纽约市计算机协会（ACM） https://zbmath.org/00720084 zbMATH Open生成的内容，如评论，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目元数据和从I4OC（CC0）导出的参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” 正式Asp。计算。6，第5期，495-511（1994年）。 68Q60；2010年第68季度；68T27型 时序逻辑中的安全性、生动性和公平性 j个