%0 Journal Article %1 journals/toct/KrebsLMS16 %A Krebs, Andreas %A Limaye, Nutan %A Mahajan, Meena %A Sreenivasaiah, Karteek %D 2016 %J TOCT %K %N 1 %P 2:1-2:26 %T Small Depth Proof Systems. %U http://dblp.uni-trier.de/db/journals/toct/toct9.html#KrebsLMS16 %V 9

@article{journals/toct/KrebsLMS16, added-at = {2023-12-13T02:28:12.000+0100}, author = {Krebs, Andreas and Limaye, Nutan and Mahajan, Meena and Sreenivasaiah, Karteek}, biburl = {https://www.bibsonomy.org/bibtex/2cfacd21e3e70d23ff6de4aac158bc63f/admin}, ee = {https://doi.org/10.1145/2956229}, interhash = {7f9b361864df0b73047b9556e53d08be}, intrahash = {cfacd21e3e70d23ff6de4aac158bc63f}, journal = {TOCT}, keywords = {}, number = 1, pages = {2:1-2:26}, timestamp = {2023-12-13T02:28:12.000+0100}, title = {Small Depth Proof Systems.}, url = {http://dblp.uni-trier.de/db/journals/toct/toct9.html#KrebsLMS16}, volume = 9, year = 2016 }