Computation and Logic in the Real World [E-Book] / Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings  

Cooper, S. Barry
2007

Infinity in Logic and Computation [E-Book] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /  

Archibald, Margaret
2009

Logical Approaches to Computational Barriers [E-Book] / Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings  

Beckmann, Arnold
2006

New Computational Paradigms [E-Book] / First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings  

Cooper, Barry S.
2005