Theory and Applications of Models of Computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings - T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan ((Lecture Notes in Computer Science))