Logic and theory of algorithms : 4th Conference on computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008: proceedings / ed. A. Beckmann [et al.], 2008 r=on-line. - Текст : электронный.
Logical approaches to computational barriers : 2nd conference on computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.