Domenico Cantone, Alberto Policriti. Encoding Sets as Real Numbers. In Maximiliano Cristiá, David Delahaye, Catherine Dubois, editors, Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, SETS@ABZ 2018, Southamptom, UK, June 5, 2018. Volume 2199 of CEUR Workshop Proceedings, pages 2-16, CEUR-WS.org, 2018. [doi]
Abstract is missing.