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.