Theory and applications of models of computation 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings - TAMC 2007 (2007 : Shanghai, China); Cai, Jin-yi, 1961-; Cooper, S. B. (S. Barry); Zhu, Hong, 1961-; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Includes bibliographical references and author index.
Keywords: Computational complexity -- Congresses; Computable functions -- Congresses; Computer Science; Algorithm Analysis and Problem Complexity; Bioinformatics; Computation by Abstract Devices; Computing Methodologies; Mathematics of Computing; Theory of Computation