STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings / - Thomas, Wolfgang,; Weil, Pascal. (Lecture notes in computer science,)