Download Stacs 2000: 17Th Annual Symposium On Theoretical Aspects Of Computer Science Lille, France, February 17–19, 2000 Proceedings 2000