Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9709)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: CiE 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (37 papers)
Other volumes
-
Pursuit of the Universal
Keywords
- bioinformatics and bio-inspired computation
- computational complexity
- DNA computing
- natural computation
- swarm intelligence and self-organisation
- analog computation
- computable structures and models
- computational biology
- computational learning
- computational linguistics
- generalized recursion theory
- higher type computability
- history of computation
- hypercomputational models
- quantum computing and complexity
- relativistic computation
- reverse mathematics
- semantics and logic of computation
- algorithm analysis and problem complexity
About this book
This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016.
The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic dynamics, are organized for the first time in the conference series. In addition to this new developments in areas frequently covered in the CiE conference series were addressed in the following sessions: computable and constructive analysis; computation in biological systems; history and philosophy of computing; weak arithmetic.
Editors and Affiliations
Bibliographic Information
Book Title: Pursuit of the Universal
Book Subtitle: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
Editors: Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-40189-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-40188-1Published: 01 June 2016
eBook ISBN: 978-3-319-40189-8Published: 13 June 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 375
Number of Illustrations: 21 b/w illustrations
Topics: Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Mathematics of Computing, Mathematical Logic and Formal Languages, Computational Biology/Bioinformatics