Proceedings / Twenty-Second Annual IEEE Conference on Computational Complexity : 13 - 16 July 2007, San Diego, California - O'Conner, Lisa (Hrsg.); Conference on Computational Complexity (22 : 2007 : San Diego, Calif.); IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (2007)