Multi-prover interactive proofs: unsound foundations (Q2412247)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Multi-prover interactive proofs: unsound foundations |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multi-prover interactive proofs: unsound foundations |
scientific article |
Statements
Multi-prover interactive proofs: unsound foundations (English)
0 references
23 October 2017
0 references
0.88836956
0 references
0.88700855
0 references
0.8720521
0 references
0.8614857
0 references
0.8602991
0 references
