Searching for "Proof mining in L1-approximation." – sorted by Relevance.
-
Proof mining in L 1 -approximation
- Proof mining in L 1 -approximation Ulrich Kohlenbach a,1 , Paulo Oliva a,1 a Department
- Add To MetaCart
-
Proof Mining in L_1-approximation (Extended Abstract)
- Proof Mining in L 1 -approximation Ulrich Kohlenbach Paulo Oliva BRICS # Department of Computer
- Add To MetaCart
-
Proof Mining in
- Proof mining in L 1 -approximation Ulrich Kohlenbach Paulo Oliva July, 2001 BRICS # Department
- Add To MetaCart
-
Proof Mining in Subsystems of Analysis
- Based on Applications of Full Sequential Compactness . . 100 6 Proof Mining in L1-approximation 103 6.1
- Add To MetaCart

