Text

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

---

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.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

: ., 2015

Collation

20 b/w illustrations

Language

English

ISBN/ISSN

978-3-319-20028-6

Classification

NONE

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Algorithms
Computational and Systems Biology
Theory of Computation
Formal Languages and Automata Theory
Mathematics of Computing

Specific Detail Info

-

Statement of Responsibility

Arnold Beckmann, Victor Mitrana, Mariya Soskova

Other Information

Cataloger

agus

Source

-

Validator

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment