Exploring New Frontiers of Theoretical Informatics IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22–27 August 2004 Toulouse, France - Levy, Jean-Jacques; Mayr, Ernst W.; Mitchell, John C. (Springer US, 2004)