25th International Symposium on Theoretical Aspects of Computer Science

STACS 2008