41st Symposium on Foundations of Computer Science: 12-14 November 2000, Redondo Beach, California: Proceedings (SYMPOSIUM ON FOUNDATIONS OF COMPUTER ... SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE)