Publisher's Synopsis
Constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models of Computation, TAMC 2006, held in Beijing, China, in May 2006. This book addresses the major areas in computer science, mathematics (especially logic) and the physical sciences, with regard to computation and computability theory.