%0 Journal Article %1 journals/tcs/ChiesaZ15 %A Chiesa, Alessandro %A Zhu, Zeyuan Allen %D 2015 %J Theor. Comput. Sci. %K %P 107-131 %T Shorter arithmetization of nondeterministic computations. %U http://dblp.uni-trier.de/db/journals/tcs/tcs600.html#ChiesaZ15 %V 600

@article{journals/tcs/ChiesaZ15, added-at = {2023-12-12T18:06:57.000+0100}, author = {Chiesa, Alessandro and Zhu, Zeyuan Allen}, biburl = {https://www.bibsonomy.org/bibtex/22bf3a75abc1c6be09742fd463d4f1f3a/admin}, ee = {http://dx.doi.org/10.1016/j.tcs.2015.07.030}, interhash = {0d9a64910ba03ee2a783b724d1c255c5}, intrahash = {2bf3a75abc1c6be09742fd463d4f1f3a}, journal = {Theor. Comput. Sci.}, keywords = {}, pages = {107-131}, timestamp = {2023-12-12T18:06:57.000+0100}, title = {Shorter arithmetization of nondeterministic computations.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs600.html#ChiesaZ15}, volume = 600, year = 2015 }