Axiomatizing Resource Bounds for Measure

Xiaoyang Gu, Jack H. Lutz, Satyadev Nandakumar, James S. Royer. Axiomatizing Resource Bounds for Measure. In Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova, editors, Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings. Volume 6735 of Lecture Notes in Computer Science, pages 102-111, Springer, 2011. [doi]

Abstract

Abstract is missing.