Logical Approaches to Computational Barriers: CiE 2006

External Link
Arnold Beckmann, Benedikt Löwe, Dag Normann
special issue of the journal Journal of Logic and Computation, Volume 17, Issue 6.
Publication year: 2007