5th International Workshop on Proof, Computation, Complexity PCC '06 ; Ilmenau, July 24-25, 2006 ; [technical Report] by PCC. | Menrva Books | MenrvaBooks