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