FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - Hariharan, Ramesh; Hariharan, Ramesh; Mukund, Madhavan; Mukund, Madhavan; Vinay, V.; Vinay, V. (Springer Berlin Heidelberg : Imprint: Springer, 2001)