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

CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the network...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Beckmann, Arnold., Berger, Ulrich., Löwe, Benedikt., Tucker, John V.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Series: Lecture Notes in Computer Science, 3988
Online Access: http://dx.doi.org/10.1007/11780342
Tags: Add Tag
No Tags, Be the first to tag this record!