Fst Tcs 2000: Foundations Of Software Technology And Theoretical Computer Science: 20Th Conference New Delhi, India, December 13–15, 2000 Proceedings 2000