Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BL1997b]  Fast Cut-Elimination by Projection

BaazLeit97CSL (In proceedings)
Author(s)Baaz M. and Leitsch A.
Title"Fast Cut-Elimination by Projection"
Date1997
InComputer Science Logic, Proc. 10th Workshop, CSL'96
Editor(s)Dalen (van) D.
SeriesLNCS 1258
Page(s)18-33
PublisherSpringer

BibTeX code

@inproceedings{BaazLeit97CSL,
  title = {Fast Cut-Elimination by Projection},
  year = {1997},
  booktitle = {Computer Science Logic, Proc. 10th Workshop, CSL'96},
  pages = {18-33},
  editor = {van Dalen, D.},
  publisher = {Springer},
  author = {Baaz, M. and Leitsch, A.},
  series = {LNCS 1258},
}

 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)