On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis

From MaRDI portal
(Redirected from Publication:1102283)