Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BL1999]  Cut Normal Forms and Proof Complexity

BaazLeit99ANNPA (Article)
Author(s)Baaz M. and Leitsch A.
Title"Cut Normal Forms and Proof Complexity"
Date1999
JournalAnn. Pure Appl. Logic
Volume-
Number-
Page(s)127--177

BibTeX code

@article{BaazLeit99ANNPA,
  journal = {Ann. Pure Appl. Logic},
  title = {Cut Normal Forms and Proof Complexity},
  author = {Baaz, M. and Leitsch, A.},
  year = {1999},
  pages = {127--177},
}


 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)