Program size complexity for possibly infinite computations

From MaRDI portal
Publication:558440