Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BL1994]  On Skolemization and Proof Complexity

BaazLeit94FI (Article)
Author(s)Baaz M. and Leitsch A.
Title"On Skolemization and Proof Complexity"
Date1994
JournalFund. Inform.
Volume20
Number4
Page(s)353--379

BibTeX code

@article{BaazLeit94FI,
  journal = {Fund. Inform.},
  volume = {20},
  title = {On {Skolemization} and Proof Complexity},
  author = {Baaz, M. and Leitsch, A.},
  year = {1994},
  pages = {353--379},
  number = {4},
}

 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)