Complexity, Logic, and Recursion Theory

New Computational Paradigms: Changing Conceptions of What is Computable

Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings