BibTeX record: conf/coco/BonetDGMP99

download as .bib file

@inproceedings{DBLP:conf/coco/BonetDGMP99,
  author    = {Maria Luisa Bonet and
               Carlos Domingo and
               Ricard Gavald\`{a} and
               Alexis Maciel and
               Toniann Pitassi},
  title     = {Non-Automatizability of Bounded-Depth Frege Proofs.},
  booktitle = {Proceedings of the 14th Annual {IEEE} Conference on Computational
               Complexity, Atlanta, Georgia, USA, May 4-6, 1999},
  year      = {1999},
  pages     = {15--23},
  crossref  = {DBLP:conf/coco/1999},
  url       = {http://doi.ieeecomputersociety.org/10.1109/CCC.1999.766258},
  doi       = {10.1109/CCC.1999.766258},
  timestamp = {Wed, 03 Sep 2014 09:08:39 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coco/BonetDGMP99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coco/1999,
  title     = {Proceedings of the 14th Annual {IEEE} Conference on Computational
               Complexity, Atlanta, Georgia, USA, May 4-6, 1999},
  year      = {1999},
  publisher = {{IEEE} Computer Society},
  isbn      = {0-7695-0075-7},
  timestamp = {Wed, 03 Sep 2014 09:08:39 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coco/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}