Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BL2000]  Cut Elimination and redundancy-elimination by Resolution

BaazLeit00JSC (Article)
Author(s)Baaz M. and Leitsch A.
Title"Cut Elimination and redundancy-elimination by Resolution"
Date2000
JournalJ. of Symbolic Computation
Volume29
Number-
Page(s)149--176

BibTeX code

@article{BaazLeit00JSC,
  journal = {J. of Symbolic Computation},
  volume = {29},
  title = {Cut Elimination and redundancy-elimination by Resolution},
  author = {Baaz, M. and Leitsch, A.},
  year = {2000},
  pages = {149--176},
}

 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)