书目名称 | Evolving Computability |
副标题 | 11th Conference on C |
编辑 | Arnold Beckmann,Victor Mitrana,Mariya Soskova |
视频video | |
概述 | Includes supplementary material: |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | .This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015..The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams and Reverse Mathematics, were introduced 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 further special sessions on Automata, Logic and Infinite Games; Bio-inspired Computation; Classical Computability Theory; as well as History and Philosophy of Computing.. |
出版日期 | Conference proceedings 2015 |
关键词 | Analog computation; Bioinformatics and bio-inspired computation; Classical computability and degree st |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-319-20028-6 |
isbn_softcover | 978-3-319-20027-9 |
isbn_ebook | 978-3-319-20028-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer International Publishing Switzerland 2015 |