CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15¿20, 2008 Computability in Europe...

This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe,...

This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe,...

This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe,...

CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Com...

This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic,...

The research programme Semantics and Syntax: A Legacy of Alan Turing, held at the Isaac Newton In...