%0 Journal Article %1 journals/tcs/BaazHLRS08 %A Baaz, Matthias %A Hetzl, Stefan %A Leitsch, Alexander %A Richter, Clemens %A Spohr, Hendrik %D 2008 %J Theor. Comput. Sci. %K dblp %N 2-3 %P 160-175 %T CERES: An analysis of Fürstenberg's proof of the infinity of primes. %U http://dblp.uni-trier.de/db/journals/tcs/tcs403.html#BaazHLRS08 %V 403

@article{journals/tcs/BaazHLRS08, added-at = {2021-02-17T00:00:00.000+0100}, author = {Baaz, Matthias and Hetzl, Stefan and Leitsch, Alexander and Richter, Clemens and Spohr, Hendrik}, biburl = {https://www.bibsonomy.org/bibtex/231d7b80f25b1ef3f6757c5ebcc92be71/dblp}, ee = {https://doi.org/10.1016/j.tcs.2008.02.043}, interhash = {e865e42071ea45d9254e61144d0a5976}, intrahash = {31d7b80f25b1ef3f6757c5ebcc92be71}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {2-3}, pages = {160-175}, timestamp = {2024-04-08T18:41:07.000+0200}, title = {CERES: An analysis of Fürstenberg's proof of the infinity of primes.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs403.html#BaazHLRS08}, volume = 403, year = 2008 }