DBLP Record 'conf/coco/BonetDGMP99'

BibTeX

@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 = {IEEE Conference on Computational Complexity},
  year      = {1999},
  pages     = {15-23},
  ee        = {http://computer.org/proceedings/coco/0075/00750015abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}