Electronic Notes in Theoretical Computer Science, Volume 13

Volume 13, 1998

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