Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings
This proceedings volume examines all major areas in computer science, mathematics (especially logic) and the physical sciences, especially computation, algorithms, complexity and computability theory.