Резултати

еНаука >  Резултати >  A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
Назив: A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
Аутори: Marinković, Bojan  ; Glavan, Paola; Ognjanović, Zoran  ; Studer, Thomas
Година: 2019
Публикација: Journal of Logic and Computation
ISSN: 0955-792X Journal of Logic and Computation Претражи идентификатор
Издавач: Oxford University Press
Тип резултата: Научни чланак
Колација: 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
Пројекат: 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
Извор метаподатака: Migracija
М-категорија: 
21M21 - Рад у врхунском међ. часопису

14
SCOPUSTM
10
OpenCitations
9
WEB OF SCIENCETM
Алт метрика
Dimensions

Пронађи DOI
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.