Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BM2001]  On a generalisation of Herbrand's theorm

BM01CSL (In a collection)
Author(s)Baaz M. and Moser G.
Title"On a generalisation of Herbrand's theorm"
Date2001
InProc. of the CSL 2001
Number2142
SeriesLNCS
Page(s)469-483
PublisherSpringer

BibTeX code

@incollection{BM01CSL,
  publisher = {Springer},
  title = {On a generalisation of {H}erbrand's theorm},
  author = {Baaz, M. and Moser, G.},
  year = {2001},
  booktitle = {Proc. of the CSL 2001},
  pages = {469-483},
  series = {LNCS},
  number = {2142},
}


 Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)