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...
|Corporate Author:||SpringerLink (Online service)|
|Other Authors:||Beckmann, Arnold., Berger, Ulrich., Löwe, Benedikt., Tucker, John V.|
Berlin, Heidelberg :
Springer Berlin Heidelberg,
Lecture Notes in Computer Science,
No Tags, Be the first to tag this record!