Logic And Computation In The Real World: Cie 2007

摘要

The thirteen papers in this special issue arose from the conference CiE 2007: Logic and Computation in the Real World, held at the University of Siena in June, 2007. CiE 2007 was the third of a new series of conferences associated with the interdisciplinary network Computability in Europe.