× 5th International Workshop on Proof, Computation, Complexity PCC '06Ilmenau, July 24-25, 2006herausgegeben von Karl H Niggl, Reinhard Kahle und Birgit ElblMitwirkendeHerausgegeben vonKarl H NigglHerausgegeben vonReinhard KahleHerausgegeben vonBirgit Elbl