Bulletin of EATCS
Home
About
Search
Current
Archives
Home
>
No 108: October 2012
>
Barak
Truth vs. Proof in Computational Complexity
Boaz Barak, The Logic in Computer Science Column by Y. Gurevich
Abstract
Truth vs. Proof in Computational Complexity
Full Text:
PDF
Refbacks
There are currently no refbacks.