Results

eNauka >  Results >  A Logic of Interactive Proofs
Title : A Logic of Interactive Proofs
Authors: Lehnherr, David; Ognjanović, Zoran  ; Studer, Thomas
Issue Date: 2021
Publisher: University Center Dubrovnik, Croatia
Type: Conference Paper
Collation: str. 89-90
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/4662
https://enauka.gov.rs/handle/123456789/577813
URL: http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/2021_LAP_FORMALS_BoA.pdf
Project: Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

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