Theory and Applications of Models of Computation (Repost)

This proceedings volume examines all major areas in computer science, mathematics (especially logic) and the physical sciences, especially computation, algorithms, complexity and computability theory.