Publications

...
• 2007
• 2006
• 2005
• 2004
• 2003
• 2002
• 2001
• 2000
...

• Proof mining in L-1-approximation
  Kohlenbach U Oliva P
  Ann Pure Appl Logic vol. 121 (1), 1-38.  
  DOI 10.1016/S0168-0072(02)00081-7
  
  15-05-2003
• Polynomial-time algorithms from ineffective proofs
  Oliva P
  18TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS., 128-137.  
  DOI 10.1109/lics.2003.1210052
  
  01-01-2003
• Proof mining: A systematic way of analyzing proofs in mathematics
  Oliva P Kohlenbach U
  Proc. Steklov Inst. Math vol. 242, 136-164.  
  01-01-2003