Book Details

Logical Approaches to Computational Barriers

: 2006

: 978-3-540-35468-0


The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, and computational learning. Applications are everywhere, especially, in algebra, analysis and geometry, or data types and programming. This volume, Logical Approaches to Computational Barriers, is the proce- ings of the second in a series of conferences of CiE that was held at the Depa- ment of Computer Science, Swansea University, 30 June - 5 July, 2006.

: Computer Science, algorithms, bioinformatics, calculus, classical computability, complexity, computability theory, computable structures, computational learning, computational logic, computational modeling, constructive mathematics, logic, methodol, optimization, programming