Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BL1997]  Cut elimination by resolution

BaazLeit97FTP (In proceedings)
Author(s)Baaz M. and Leitsch A.
Title"Cut elimination by resolution"
Date1997
InProc. of FTP'97, Hagenberg, Linz
Page(s)7--10

BibTeX code

@inproceedings{BaazLeit97FTP,
  title = {Cut elimination by resolution},
  author = {Baaz, M. and Leitsch, A.},
  year = {1997},
  booktitle = {Proc. of FTP'97, Hagenberg, Linz},
  pages = {7--10},
}

 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)