Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BL1990]  A Strong Problem Reduction Method Based on Function Introduction

BaazLeit90ISSAC (In proceedings)
Author(s)Baaz M. and Leitsch A.
Title"A Strong Problem Reduction Method Based on Function Introduction"
Date1990
InProc. ISSAC'90
Page(s)30--37
PublisherAddison-Wesley

BibTeX code

@inproceedings{BaazLeit90ISSAC,
  publisher = {Addison-Wesley},
  title = {A Strong Problem Reduction Method Based on Function Introduction},
  author = {Baaz, M. and Leitsch, A.},
  year = {1990},
  booktitle = {Proc. ISSAC'90},
  pages = {30--37},
}


 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)