%0 Journal Article %1 journals/eccc/BeyersdorffKM09 %A Beyersdorff, Olaf %A Köbler, Johannes %A Müller, Sebastian %D 2009 %J Electron. Colloquium Comput. Complex. %K %P 92 %T Proof Systems that Take Advice. %U http://dblp.uni-trier.de/db/journals/eccc/eccc16.html#BeyersdorffKM09 %V 16

@article{journals/eccc/BeyersdorffKM09, added-at = {2023-12-13T02:48:43.000+0100}, author = {Beyersdorff, Olaf and Köbler, Johannes and Müller, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/2d4ab7701479c66d8536fadd934e6b87a/admin}, ee = {http://eccc.hpi-web.de/report/2009/092}, interhash = {83e5ef12a89f3409506c21443088ea2b}, intrahash = {d4ab7701479c66d8536fadd934e6b87a}, journal = {Electron. Colloquium Comput. Complex.}, keywords = {}, pages = 92, timestamp = {2023-12-13T02:48:43.000+0100}, title = {Proof Systems that Take Advice.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc16.html#BeyersdorffKM09}, volume = 16, year = 2009 }