|
Showing 1 - 1 of
1 matches in All Departments
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.
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.