A Knowledge-Based Analysis of the Blockchain Protocol
A Knowledge-Based Analysis of the Blockchain Protocol
复制标题
区块链协议的基于知识的分析
DOI：
10.4204/eptcs.251.22
复制
发表时间：
2017
影响因子：
--
通讯作者：
Pass, Rafael
中科院分区：
文献类型：
--
作者：
Halpern, Joseph Y.;Pass, Rafael
认知逻辑中的命名和同一性第二部分：命名的一阶逻辑
影响因子：
14.4
作者：
Adam J. Grove
通讯作者：
Adam J. Grove
DOI：
10.1145/153724.153770
发表时间：
1993
期刊：
J. ACM
影响因子：
--
作者：
Joseph Y. Halpern;M. Tuttle
通讯作者：
M. Tuttle
DOI：
--
发表时间：
1990
期刊：
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
影响因子：
--
作者：
Joseph Y. Halpern;Yoram Moses;Orli Waarts
通讯作者：
Orli Waarts