Browsing eNauka
Browsing by Project Justifications and non-classical reasoning
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2019 | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas | Article | 21M21 |