Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[Blu00]  Bounded Arithmetic and Descriptive Complexity

Blumensath00 (In proceedings)
Author(s)A. Blumensath
Title« Bounded Arithmetic and Descriptive Complexity »
InProc. 14th Ann. Conference of the European Association for Computer Science Logic, LNCS 1862
Page(s)232--246
Year2000

BibTeX code
@inproceedings{Blumensath00,
  author = {A. Blumensath},
  booktitle = {{Proc.\ 14th Ann. Conference of the European Association for
               Computer Science Logic, LNCS 1862}},
  year = 2000,
  pages = {232--246},
  title = {{Bounded Arithmetic and Descriptive Complexity}},
}

 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!