%0 Journal Article %1 journals/eccc/KrebsL12 %A Krebs, Andreas %A Limaye, Nutan %D 2012 %J Electron. Colloquium Comput. Complex. %K %P 186 %T DLOGTIME-Proof Systems. %U http://dblp.uni-trier.de/db/journals/eccc/eccc19.html#KrebsL12 %V 19

@article{journals/eccc/KrebsL12, added-at = {2023-12-12T20:12:12.000+0100}, author = {Krebs, Andreas and Limaye, Nutan}, biburl = {https://www.bibsonomy.org/bibtex/2bc0974c3ac622e6a8a85a8694327f749/admin}, ee = {http://eccc.hpi-web.de/report/2012/186}, interhash = {2bf37a219ddd6b183ed07662032516e9}, intrahash = {bc0974c3ac622e6a8a85a8694327f749}, journal = {Electron. Colloquium Comput. Complex.}, keywords = {}, pages = 186, timestamp = {2023-12-12T20:12:12.000+0100}, title = {DLOGTIME-Proof Systems.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc19.html#KrebsL12}, volume = 19, year = 2012 }