Logical Approaches to Computational Barriers: CiE 2006

Arnold Beckmann, Benedikt Löwe, Dag Normann. Logical Approaches to Computational Barriers: CiE 2006. Journal of Logic and Computation, 17(6):1021-1023, 2007. [doi]

Abstract

Abstract is missing.