Searching for "Strongly uniform bounds from semi-constructive proofs." – sorted by Relevance.
-
Basic Research in Computer Science
- BRICS RS-04-31 Gerhardy & Kohlenbach: Strongly Uniform Bounds from Semi-Constructive Proofs BRICS
- Add To MetaCart

