Bøger af Andrea Sorbi

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.

Presents coverage of research at the interface of logic, computability theory, and theoretical computer science. This book integrates two approaches to computability.