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

Arnold Beckmann Ulrich Berger Benedikt Löwe John V. Tucker Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings 3988 2006 3-540-35466-2 CiE Lecture Notes in Computer Science Springer db/conf/cie/cie2006.html