Sciweavers

APAL
2006

Strongly uniform bounds from semi-constructive proofs

13 years 11 months ago
Strongly uniform bounds from semi-constructive proofs
Philipp Gerhardy, Ulrich Kohlenbach
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2006
Where APAL
Authors Philipp Gerhardy, Ulrich Kohlenbach
Comments (0)