MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Proof mining in L1-approximation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Proof mining in L 1 -approximation  
  • by Ulrich Kohlenbach Paulo, Paulo Oliva
  • …Proof mining in L 1 -approximation Ulrich Kohlenbach a,1 , Paulo Oliva a,1 a Department…
  • Add To MetaCart
  • Proof Mining in  
  • by Approximation Ulrich Kohlenbach, Ulrich Kohlenbach, Paulo Oliva, Ny Munkegade
  • …Proof mining in L 1 -approximation Ulrich Kohlenbach Paulo Oliva July, 2001 BRICS # Department…
  • Add To MetaCart
  • Proof Mining in Subsystems of Analysis  
  • by Phd Dissertation, Paulo Oliva, Paulo Oliva — 2003
  • … Based on Applications of Full Sequential Compactness . . 100 6 Proof Mining in L1-approximation 103 6.1…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB