A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer)

From MaRDI portal

Publication:6230322

Jump to:navigation, search

arXiv1201.3667MaRDI QIDQ6230322

Simon Kramer

Publication date: 17 January 2012

This page was built for publication: A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6230322&oldid=35750129"