![](/img/cover-not-exists.png)
Shorter arithmetization of nondeterministic computations
Chiesa, Alessandro, Zhu, Zeyuan AllenVolume:
600
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2015.07.030
Date:
October, 2015
File:
PDF, 1.34 MB
english, 2015