Logical Approaches to Computational Barriers

External Link
Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, July 2006, Proceedings, LNCS 3988
Publication year: 2006