Polynomial time operations in explicit mathematics

From MaRDI portal
Publication:4358055