Theory and Applications of Models of Computation : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings - Manindra Agrawal, S. Barry Cooper, Angsheng Li ((Lecture Notes in Computer Science))