Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings - Leeuwen, Jan van; Leeuwen, Jan van; Watanabe, Osamu; Watanabe, Osamu; Hagiya, Masami; Hagiya, Masami; Mosses, Peter D.; Mosses, Peter D.; Ito, Takayasu; Ito, Takayasu (Springer Berlin Heidelberg : Imprint: Springer, 2000)