%0 Journal Article %1 journals/tcs/GarciaR08 %A Garcia, Flavio D. %A van Rossum, Peter %D 2008 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 112-133 %T Sound and complete computational interpretation of symbolic hashes in the standard model. %U http://dblp.uni-trier.de/db/journals/tcs/tcs394.html#GarciaR08 %V 394

@article{journals/tcs/GarciaR08, added-at = {2021-02-17T00:00:00.000+0100}, author = {Garcia, Flavio D. and van Rossum, Peter}, biburl = {https://www.bibsonomy.org/bibtex/253fcd5c5421b0eddec441589b32d8382/dblp}, ee = {https://doi.org/10.1016/j.tcs.2007.11.011}, interhash = {5eade24073857cc2921532db5269e099}, intrahash = {53fcd5c5421b0eddec441589b32d8382}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {112-133}, timestamp = {2024-04-08T18:44:12.000+0200}, title = {Sound and complete computational interpretation of symbolic hashes in the standard model.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs394.html#GarciaR08}, volume = 394, year = 2008 }