Theory and Applications of Models of Computation : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings - Chen, Jianer (Herausgeber); Cooper, Barry S (Herausgeber) (Theoretical Computer Science and General Issues, 2009)