Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[Koh05c]  Proof mining in functional analysis (abstract)

Koh:05b (In proceedings)
Author(s)Kohlenbach, Ulrich
Title« Proof mining in functional analysis (abstract) »
InCiE 2005
SeriesLNCS
Editor(s)Cooper, S.B. and Loewe, B. and Torenvliet, L.
Page(s)233--234
Year2005
PublisherSpringer Verlag

BibTeX code
@inproceedings{Koh:05b,
  publisher = {Springer Verlag},
  pages = {233--234},
  editor = {Cooper, S.B. and Loewe, B. and Torenvliet, L.},
  author = {Kohlenbach, Ulrich},
  title = {Proof mining in functional analysis (abstract)},
  series = {LNCS},
  year = 2005,
  booktitle = {CiE 2005},
}

 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!