%0 Journal Article %1 journals/tocl/Sangiorgi17 %A Sangiorgi, Davide %D 2017 %J ACM Trans. Comput. Log. %K %N 1 %P 4:1-4:30 %T Equations, Contractions, and Unique Solutions. %U http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#Sangiorgi17 %V 18

@article{journals/tocl/Sangiorgi17, added-at = {2023-12-13T05:30:50.000+0100}, author = {Sangiorgi, Davide}, biburl = {https://www.bibsonomy.org/bibtex/27f00fa7a1ad741cd15b91baec0016227/admin}, ee = {https://doi.org/10.1145/2971339}, interhash = {a3660b8a07cf9c7445c6b2ef02ad2316}, intrahash = {7f00fa7a1ad741cd15b91baec0016227}, journal = {ACM Trans. Comput. Log.}, keywords = {}, number = 1, pages = {4:1-4:30}, timestamp = {2023-12-13T05:30:50.000+0100}, title = {Equations, Contractions, and Unique Solutions.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#Sangiorgi17}, volume = 18, year = 2017 }