Theories for Subexponential-size Bounded-depth Frege Proofs. Ghasemloo, K. & Cook, S. A. In Proceedings of Computer Science Logic (CSL), pages 296-315, 2013.
Theories for Subexponential-size Bounded-depth Frege Proofs [link]Paper  bibtex   
@inproceedings{ dblp1581583,
  title = {Theories for Subexponential-size Bounded-depth Frege Proofs},
  author = {Kaveh Ghasemloo and Stephen A. Cook},
  author_short = {Ghasemloo, K. and Cook, S. A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp1581583},
  id = {dblp1581583},
  biburl = {http://www.dblp.org/rec/bibtex/conf/csl/GhasemlooC13},
  url = {http://dx.doi.org/10.4230/LIPIcs.CSL.2013.296},
  conference = {CSL},
  pages = {296-315},
  text = {CSL 2013:296-315},
  booktitle = {Proceedings of Computer Science Logic (CSL)}
}

Downloads: 0