Results

eNauka >  Rezultati >  A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
Naziv: A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
Autori: Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran  ; Studer, Thomas
Godina: 2019
Publikacija: Journal of Logic and Computation
ISSN: 0955-792X Journal of Logic and Computation Pretraži identifikator
Izdavač: Oxford University Press
Tip rezultata: Naučni članak
Kolacija: vol. 29 br. 5 str. 803-830
DOI: 10.1093/logcom/exz007
WoS-ID: 000493111600011
Scopus-ID: 2-s2.0-85072857801
URI: https://enauka.gov.rs/handle/123456789/150725
http://researchrepository.mi.sanu.ac.rs/handle/123456789/2793
Projekat: Representations of logical structures and formal languages and their application in computing
Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
Justifications and non-classical reasoning
Izvor metapodataka: Migracija
M-kategorija: 
21M21 - Vodeći međunarodni časopis kategorije M21

15
SCOPUSTM
10
OpenCitations
10
WEB OF SCIENCETM
Altmetric
Dimensions
Unpaywall

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.