Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Peter John Potts
@inproceedings{DBLP:conf/icfp/EdalatPS98, author = {Abbas Edalat and Peter John Potts and Philipp S{\"{u}}nderhauf}, editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec}, title = {Lazy Computation with Exact Real Numbers}, booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA, September 27-29, 1998}, pages = {185--194}, publisher = {{ACM}}, year = {1998}, url = {https://doi.org/10.1145/289423.289441}, doi = {10.1145/289423.289441}, timestamp = {Thu, 08 Jul 2021 16:04:01 +0200}, biburl = {https://dblp.org/rec/conf/icfp/EdalatPS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/PottsEE97, author = {Peter John Potts and Abbas Edalat and Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}}, title = {Semantics of Exact Real Arithmetic}, booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997}, pages = {248--257}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/LICS.1997.614952}, doi = {10.1109/LICS.1997.614952}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/PottsEE97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EdalatP97, author = {Abbas Edalat and Peter John Potts}, editor = {Stephen D. Brookes and Michael W. Mislove}, title = {A new representation for exact real numbers}, booktitle = {Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, {MFPS} 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997}, series = {Electronic Notes in Theoretical Computer Science}, volume = {6}, pages = {119--132}, publisher = {Elsevier}, year = {1997}, url = {https://doi.org/10.1016/S1571-0661(05)80166-5}, doi = {10.1016/S1571-0661(05)80166-5}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EdalatP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.