Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings - Chan, T-H. Hubert; Lau, Lap Chi; Trevisan, Luca (Springer Berlin Heidelberg : Imprint: Springer, 2013)