Program Size Complexity for Possibly Infinite Computations

VerĂ³nica Becher, Santiago Figueira, AndrĂ© Nies, Silvana Picchi. Program Size Complexity for Possibly Infinite Computations. Notre Dame Journal of Formal Logic, 46(1):51-64, 2005. [doi]

Abstract

Abstract is missing.