Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BHMV]  Complexity of t-Tautologies.

BHMV02 (Article)
Author(s)Baaz M., Hájek P., Montagna F. and Veith H.
Title"Complexity of t-Tautologies."
Date-
Journal-
Volume-
Number-
Page(s)-

BibTeX code

@article{BHMV02,
  title = {Complexity of t-{T}autologies.},
  author = {Baaz, M. and Hájek, P. and Montagna, F. and Veith, H.},
}

 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)