STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings - Reichel, Horst, 1941-; Tison, Sophie (Lecture notes in computer science ;, 2000)