ENGLISH

New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

By S. Barry Cooper , Benedikt Löwe , S. Barry Cooper (auth.) , Leen Torenvliet (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2005
ISBN
3540261796, 9783540261797
DOI
10.1007/b136981
Google Books ID
nkBa0sMVzYEC
Open Library ID
OL9514542M
Language
english
Format
DJVU
Filesize
5 MB (5670818 bytes)
Series
Lecture Notes in Computer Science 3526 : Theoretical Computer Science and General Issues
Edition
1
Pages
578\588
DPI
300
Scanned
no
Time added
2011-08-31 04:54:40
Theory of Computation; Algorithm Analysis and Prob

Description

This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers corresponding to two tutorials, six plenary talks and papers of six special sessions involving mathematical logic and computer science at the same time as offering the methodological foundations for models of computation. The papers address many aspects of computability in Europe with a special focus on new computational paradigms. These include first of all connections between computation and physical systems (e.g., quantum and analog computation, neural nets, molecular computation), but also cover new perspectives on models of computation arising from basic research in mathematical logic and theoretical computer science.

Similar books