On genuinely time bounded computations

From MaRDI portal
Publication:5096139