Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[Baa1994]  Generalization of Proofs and Term Complexity

Baaz94LC (In proceedings)
Author(s)Baaz M.
Title"Generalization of Proofs and Term Complexity"
Date1994
InLogic Colloquium '94, Main Lecture
NoteUnpublished manuscript

BibTeX code

@inproceedings{Baaz94LC,
  address = {Clermont, France},
  title = {Generalization of Proofs and Term Complexity},
  author = {Baaz, M.},
  year = {1994},
  booktitle = {Logic Colloquium '94, Main Lecture},
  note = {Unpublished manuscript},
}

 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)