search author

DBLP BibTeX Record 'conf/focs/HertelP07'

@inproceedings{DBLP:conf/focs/HertelP07,
  author    = {Philipp Hertel and
               Toniann Pitassi},
  title     = {Exponential Time/Space Speedups for Resolution and the PSPACE-completeness
               of Black-White Pebbling},
  booktitle = {FOCS},
  year      = {2007},
  pages     = {137-149},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/FOCS.2007.25},
  crossref  = {DBLP:conf/focs/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/focs/2007,
  title     = {48th Annual IEEE Symposium on Foundations of Computer Science
               (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings},
  booktitle = {FOCS},
  publisher = {IEEE Computer Society},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}