dblp.uni-trier.dewww.uni-trier.de

Peter John Potts Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1998
3EEAbbas Edalat, Peter John Potts, Philipp Sünderhauf: Lazy Computation with Exact Real Numbers. ICFP 1998: 185-194
1997
2EEPeter John Potts, Abbas Edalat, Martín Hötzel Escardó: Semantics of Exact Real Arithmetic. LICS 1997: 248-257
1EEAbbas Edalat, Peter John Potts: A new representation for exact real numbers. Electr. Notes Theor. Comput. Sci. 6: (1997)

Coauthor Index

1Abbas Edalat [1] [2] [3]
2Martín Hötzel Escardó [2]
3Philipp Sünderhauf [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)