%0 Conference Paper %1 conf/csl/GhasemlooC13 %A Ghasemloo, Kaveh %A Cook, Stephen A. %B CSL %D 2013 %E Rocca, Simona Ronchi Della %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 296-315 %T Theories for Subexponential-size Bounded-depth Frege Proofs. %U http://dblp.uni-trier.de/db/conf/csl/csl2013.html#GhasemlooC13 %V 23 %@ 978-3-939897-60-6

@inproceedings{conf/csl/GhasemlooC13, added-at = {2018-08-23T00:00:00.000+0200}, author = {Ghasemloo, Kaveh and Cook, Stephen A.}, biburl = {https://www.bibsonomy.org/bibtex/27cf661912870f9487d4d0e7cf60d7a42/dblp}, booktitle = {CSL}, crossref = {conf/csl/2013}, editor = {Rocca, Simona Ronchi Della}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2013.296}, interhash = {448dfb95d60ced53cfe8a42d81fe90ab}, intrahash = {7cf661912870f9487d4d0e7cf60d7a42}, isbn = {978-3-939897-60-6}, keywords = {dblp}, pages = {296-315}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:51:04.000+0100}, title = {Theories for Subexponential-size Bounded-depth Frege Proofs.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2013.html#GhasemlooC13}, volume = 23, year = 2013 }