Logical Approaches to Computational Barriers
Subtitle: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings (Lecture Notes in Computer Science)
Contributors: Arnold Beckmann (Editor); Ulrich Berger (Editor); Benedikt Löwe (Editor); John V. Tucker (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 28, 2006
Language: eng
Format: Paperback
Number of pages: 608
ISBN-13: 9783540354666
Subjects: Mathematical theory of computation; Computers - General Information; Computer Books: General; Computers; Life Sciences - Biology - General; Computer Science; Programming - Algorithms; Computers / Computer Science; algorithms; bioinformatics; classical computability; computability theory; computable structures; computational learning; computational logic; computational modeling; constructive mathematics; formal methods; Computable functions; Congresses