2024-04-16T15:33:08Z年4月16日 https://oai.zbmath.org/v1/

oai:zbmath.org:7104905 2019年9月13日上午12:09:40分 68 91

塞缪尔·默滕；亚历山大·巴格纳尔；戈登·斯图尔特 2018 7104905 英语 https://zbmath.org/07104905 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能通过API以适当的许可证提供。在这些情况下，我们将数据替换为字符串“zbMATH Open Web Interface contents”由于许可证冲突而不可用。” 阿马尔·艾哈迈德（编辑），《编程语言和系统》。2018年4月14日至20日，作为欧洲软件理论与实践联合会议的一部分，在希腊塞萨洛尼基举行了第27届欧洲编程研讨会（ESOP 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10801, 561-588 (2018). 68M14；68T05；68T15；91A10；91A80型 经过验证的学习没有遗憾。从算法博弈论到具有机械化复杂性保证的分布式系统 一