Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BL2004]  Towards a clausal analysis of cut-elimination

BL04JSC (Article)
Author(s)Baaz M. and Leitsch A.
Title"Towards a clausal analysis of cut-elimination"
Date2004
JournalJournal of Symbolic Computation
Volume-
Number-
Page(s)-
NoteTo appear

BibTeX code

@article{BL04JSC,
  journal = {Journal of Symbolic Computation},
  title = {Towards a clausal analysis of cut-elimination},
  author = {Baaz, M. and Leitsch, A.},
  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)