Non-signaling proofs with o(√ log n) provers are in PSPACE (Q5144986)
From MaRDI portal
scientific article; zbMATH DE number 7298307
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-signaling proofs with o(√ log n) provers are in PSPACE |
scientific article; zbMATH DE number 7298307 |
Statements
Non-signaling proofs with o(√ log n) provers are in PSPACE (English)
0 references
19 January 2021
0 references
interactive proofs
0 references
multi-prover games
0 references
non-signaling
0 references
