A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer) (Q6230322)
From MaRDI portal
scientific article; zbMATH DE number 900207003
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer) |
scientific article; zbMATH DE number 900207003 |
Statements
17 January 2012
0 references
cs.LO
0 references
cs.CR
0 references
cs.DC
0 references
cs.MA
0 references
math.LO
0 references
