Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings - Liu, Zhiming 1961- (Lecture notes in computer science, 2013)