索取副本

博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;托马斯·施图德(2019).带有非刚性代理集的时间认知逻辑，用于分析区块链协议。《逻辑与计算杂志》，29（5），第803-830页。牛津大学出版社10.1093/log.com/exz007
[图像] 文本
exz007.pdf格式-已发布版本
仅限于注册用户
在许可证下可用Publisher拥有版权。
552千兆字节
要求的电子邮件地址
+
-
输入您的电子邮件地址。
原因
+
-
您可以输入请求此文档的理由。
提供反馈