Back to Search
Start Over
Multi-prover encoding schemes and three-prover proof systems.
- Source :
- Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory; 1994, p308-317, 10p
- Publication Year :
- 1994
Details
- Language :
- English
- ISBNs :
- 9780818656705
- Database :
- Complementary Index
- Journal :
- Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory
- Publication Type :
- Conference
- Accession number :
- 92436502
- Full Text :
- https://doi.org/10.1109/SCT.1994.315793