Volume 13, 1998

Comprox III Third Workshop on Computation and Approximation
Birmingham, England, 11-13 September 1997

• 
  Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska: Preface. 1
• 
  Maurizio Alvarez-Manilla, Abbas Edalat, N. Saheb-Djahromi: An extension result for continuous valuations. 2-11
• 
  Jens Blanck: Domain representations of topological spaces. 12-30
• 
  Abbas Edalat, Joseph Parry: An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets. 31-40
• 
  Thomas Erker: Right Kan spaces and essentially complete T0-spaces. 41-52
• 
  Martín Hötzel Escardó: Effective and sequential definition by cases on the reals via infinite signed-digit numerals. 53-68
• 
  Reinhold Heckmann: Big Integers and Complexity Issues in Exact Real Arithmetic. 69
• 
  Achim Jung, Regina Tix: The troublesome probabilistic powerdomain. 70-91
• 
  Alexander Kaganovsky: Computing with Exact Real Numbers in a Radix-r System. 92-118
• 
  Klaus Keimel: Bi-continuous valuations. 119-123
• 
  Ulrich Kohlenbach: Proof theory and computational analysis. 124-157
• 
  Jimmie Lawson: The Upper Interval Topology, Property M and Compactness. 158-172
• 
  Keye Martin: Domain theoretic models of topological spaces. 173-181
• 
  Marta Z. Kwiatkowska, Gethin Norman: A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes. 182
• 
  Philipp Sünderhauf: Spaces of valuations as quasimetric domains. 183-196