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