2024-04-27T00:12:46Z https://oai.zbmath.org/v1/

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

穆罕默德·尤斯里（Mohamed Yousri）·马哈茂德（Mahmoud）；艾米·费尔蒂（Amy P.Felty）。 2018 7128700 英语 https://zbmath.org/07128700 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, 185-201 (2018). 68N15；03B40；03B70；68V15；81页68 量子编程语言的形式化元级分析框架 一