%0 Conference Paper %1 conf/cie/GaleottiN17 %A Galeotti, Lorenzo %A Nobrega, Hugo %B CiE %D 2017 %E Kari, Jarkko %E Manea, Florin %E Petre, Ion %I Springer %K dblp %P 246-257 %T Towards Computable Analysis on the Generalised Real Line. %U http://dblp.uni-trier.de/db/conf/cie/cie2017.html#GaleottiN17 %V 10307 %@ 978-3-319-58741-7

@inproceedings{conf/cie/GaleottiN17, added-at = {2018-11-02T00:00:00.000+0100}, author = {Galeotti, Lorenzo and Nobrega, Hugo}, biburl = {https://www.bibsonomy.org/bibtex/2034874b20bccc73b6a81b1b38253c688/dblp}, booktitle = {CiE}, crossref = {conf/cie/2017}, editor = {Kari, Jarkko and Manea, Florin and Petre, Ion}, ee = {https://doi.org/10.1007/978-3-319-58741-7_24}, interhash = {97c317159880fb59538a60ef04474a88}, intrahash = {034874b20bccc73b6a81b1b38253c688}, isbn = {978-3-319-58741-7}, keywords = {dblp}, pages = {246-257}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:08:51.000+0200}, title = {Towards Computable Analysis on the Generalised Real Line.}, url = {http://dblp.uni-trier.de/db/conf/cie/cie2017.html#GaleottiN17}, volume = 10307, year = 2017 }