" Theory and applications of models of computation 10th international conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 ; proceedings " T-H. Hubert Chan ... (eds.)