Strongly Uniform Bounds from Semi-Constructive Proofs (2004)

Cached

Download Links

by Philipp Gerhardy , Ulrich Kohlenbach
Citations:10 - 6 self