Verifying proofs in constant depth

ACM Transactions on Computation Theory 2013 / 05 Vol. 5; Iss. 1

Verifying proofs in constant depth

Beyersdorff, Olaf, Datta, Samir, Krebs, Andreas, Mahajan, Meena, Scharfenberger-Fabian, Gido, Sreenivasaiah, Karteek, Thomas, Michael, Vollmer, Heribert
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
5
Langue:
english
Journal:
ACM Transactions on Computation Theory
DOI:
10.1145/2462896.2462898
Date:
May, 2013
Fichier:
PDF, 235 KB
english, 2013
La conversion en est effectuée
La conversion en a échoué