Theory and applications of models of computation 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings - TAMC 2009 (2009 : Changsha, China); Chen, Jianer; Cooper, S. B; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computational complexity -- Congresses; Computable functions -- Congresses; Mathematics of Computing; Discrete Mathematics in Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Computer Science; Theory of Computation