Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[Iem2003b]  Towards a proof system for admissibility

Iem03b (In proceedings)
Author(s)Iemhoff R.
Title"Towards a proof system for admissibility"
Date2003
InComputer Science Logic '03
Editor(s)Baaz M. and Makowsky A.
SeriesLNCS 2803
Page(s)255-270
PublisherSpringer

BibTeX code

@inproceedings{Iem03b,
  title = {Towards a proof system for admissibility},
  year = {2003},
  booktitle = {Computer Science Logic '03},
  pages = {255-270},
  editor = {M. Baaz and A. Makowsky},
  publisher = {Springer},
  author = {Iemhoff, Rosalie},
  series = {LNCS 2803},
}

 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)