Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BP2004]  Herbrand Disjunctions and Extraction of Proofs from Sketches

BP03APAL (Article)
Author(s)Baaz M. and Preining N.
Title"Herbrand Disjunctions and Extraction of Proofs from Sketches"
Date2004
JournalAnn. Pure Appl. Logic
Volume-
Number-
Page(s)-
Noteto appear

BibTeX code

@article{BP03APAL,
  journal = {Ann. Pure Appl. Logic},
  title = {Herbrand Disjunctions and Extraction of Proofs from Sketches},
  author = {Baaz, M. and Preining, N.},
  year = {2004},
  note = {to appear},
}

 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)