home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Please note:
This is a beta version of the new dblp website.
You can find the
classic dblp view of this page here
.
Peter John Potts
export records as
BibTeX
RDF
XML
RSS
dblp keys
ask others
Google
Google Scholar
MS Academic Search
ACM Digital Library
help us
contact dblp
Trier 1
Trier 2
Dagstuhl
by year
by type
classic-C
classic+C
-- show only --
Books and Theses
Journal Articles
Conference and Workshop Papers
Parts in Books or Collections
Editorship
Reference Works
Informal Publications
'90
1990 – 1999
see FAQ
What is the meaning of the colors in the publication list?
1998
[c2]
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/icfp/EdalatPS98
ask others
Google
Google Scholar
MS Academic Search
PubZone
Abbas Edalat
,
Peter John Potts
,
Philipp Sünderhauf
:
Lazy Computation with Exact Real Numbers.
ICFP 1998
: 185-194
1997
[j1]
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/EdalatP97
ask others
Google
Google Scholar
MS Academic Search
PubZone
Abbas Edalat
,
Peter John Potts
:
A new representation for exact real numbers.
Electr. Notes Theor. Comput. Sci. 6
: 119-132 (1997)
[c1]
view
electronic edition @ ieeecomputersociety.org
export record as
BibTeX
XML
dblp key:
conf/lics/PottsEE97
ask others
Google
Google Scholar
MS Academic Search
PubZone
Peter John Potts
,
Abbas Edalat
,
Martín Hötzel Escardó
:
Semantics of Exact Real Arithmetic.
LICS 1997
: 248-257
Coauthor Index
see FAQ
What is the meaning of the colors in the coauthor index?
1
Abbas Edalat
[c2]
[j1]
[c1]
2
Martín Hötzel Escardó
[c1]
3
Philipp Sünderhauf
[c2]