%0 Journal Article %1 journals/scp/AnconaDRZ20 %A Ancona, Davide %A Dagnino, Francesco %A Rot, Jurriaan %A Zucca, Elena %D 2020 %J Sci. Comput. Program. %K dblp %P 102492 %T A big step from finite to infinite computations. %U http://dblp.uni-trier.de/db/journals/scp/scp197.html#AnconaDRZ20 %V 197

@article{journals/scp/AnconaDRZ20, added-at = {2020-12-29T00:00:00.000+0100}, author = {Ancona, Davide and Dagnino, Francesco and Rot, Jurriaan and Zucca, Elena}, biburl = {https://www.bibsonomy.org/bibtex/27fb775ee3a4f8360c1aef4bb1c627e43/dblp}, ee = {https://doi.org/10.1016/j.scico.2020.102492}, interhash = {1dab40d58c42ac65c77f866accc55f0e}, intrahash = {7fb775ee3a4f8360c1aef4bb1c627e43}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = 102492, timestamp = {2024-04-09T05:28:19.000+0200}, title = {A big step from finite to infinite computations.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp197.html#AnconaDRZ20}, volume = 197, year = 2020 }