STACS 2002
19
th
International Symposium on Theoretical Aspects of Computer Science