Pages that link to "Item:Q4938652"
From MaRDI portal
The following pages link to Many-valued logics and holographic proofs (Q4938652):
Displaying 7 items.
- Combinatorial PCPs with short proofs (Q260390) (← links)
- Combinatorial PCPs with efficient verifiers (Q483706) (← links)
- Fast approximate probabilistically checkable proofs (Q1881217) (← links)
- Low-degree test with polynomially small error (Q2410685) (← links)
- Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs (Q2799089) (← links)
- Short Locally Testable Codes and Proofs (Q3088191) (← links)
- Short Locally Testable Codes and Proofs: A Survey in Two Parts (Q4933364) (← links)