Автор: Arnold Beckmann

This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, Ci E 2015, held in Bucharest, Romania, in June/July 2015.The 26 revised papers presented were careful …

This book constitutes the refereed proceedings of the 10th Conference on Computability in Europe, Ci E 2014, held in Budapest, Hungary, in June 2014. The 42 revised papers presented were carefully re …

Ci E 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 – July 5, 2006 Computability in Europe (Ci E) is an informal network of European scientists working on computability th …

Ci E 2008: Logic and Theory of Algorithms Athens, Greece, June 15-20, 2008 Computability in Europe (Ci E) is an informal network of European scientists working on computability theory, including its …