Gábor Tardos. Multi-Prover Encoding Schemes and Three-Prover Proof Systems. In Structure in Complexity Theory Conference. pages 308-317, 1994.
@inproceedings{Tardos94,
title = {Multi-Prover Encoding Schemes and Three-Prover Proof Systems},
author = {Gábor Tardos},
year = {1994},
researchr = {https://researchr.org/publication/Tardos94},
cites = {0},
citedby = {0},
pages = {308-317},
booktitle = {Structure in Complexity Theory Conference},
}