Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BB2004]  Separation results for the size of constant-depth propositional proofs

beckmann:buss:2004 (Unpublished)
Author(s)Beckmann A. and Buss S. R.
Title"Separation results for the size of constant-depth propositional proofs"
Date2004
Notesubmitted

BibTeX code

@unpublished{beckmann:buss:2004,
  title = {Separation results for the size of constant-depth propositional proofs},
  author = {Beckmann, Arnold and Buss, Samuel R.},
  year = {2004},
  note = {submitted},
}

 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)