%0 Conference Paper %1 conf/lics/PottsEE97 %A Potts, Peter John %A Edalat, Abbas %A Escardó, Martín Hötzel %B LICS %D 1997 %I IEEE Computer Society %K dblp %P 248-257 %T Semantics of Exact Real Arithmetic. %U http://dblp.uni-trier.de/db/conf/lics/lics97.html#PottsEE97 %@ 0-8186-7925-5

@inproceedings{conf/lics/PottsEE97, added-at = {2023-03-24T00:00:00.000+0100}, author = {Potts, Peter John and Edalat, Abbas and Escardó, Martín Hötzel}, biburl = {https://www.bibsonomy.org/bibtex/248c6489e6d293c034ce17e3567022d4c/dblp}, booktitle = {LICS}, crossref = {conf/lics/1997}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1997.614952}, interhash = {3102b5a7e25f19c8005f73cc1229d57e}, intrahash = {48c6489e6d293c034ce17e3567022d4c}, isbn = {0-8186-7925-5}, keywords = {dblp}, pages = {248-257}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:41.000+0200}, title = {Semantics of Exact Real Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics97.html#PottsEE97}, year = 1997 }