Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings - Beckmann, Arnold; Berger, Ulrich; Löwe, Benedikt; Tucker, John V. (Springer Berlin Heidelberg, 2006)
Keywords: Computer science; Computers; Algorithms; Computer science : Mathematics; Bioinformatics; Computer Science; Theory of Computation; Algorithm Analysis and Problem Complexity; Mathematics of Computing; Computing Methodologies; Computer science : Mathematics