Multi-prover interactive proofs: unsound foundations
From MaRDI portal
Publication:2412247
DOI10.1007/978-3-319-61273-7_25zbMath1410.94060OpenAlexW2604424424MaRDI QIDQ2412247
Publication date: 23 October 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-61273-7_25
This page was built for publication: Multi-prover interactive proofs: unsound foundations