Theoretical Computer Science, Volume 305

Volume 305, Number 1-3, 18 August 2003

• Nina Amenta, Thomas J. Peters, Alexander Russell:
  Computational topology: ambient isotopic approximation of 2-manifolds. 3-15
  
• Vasco Brattka:
  Recursive quasi-metric spaces. 17-42
  
• Vasco Brattka, Gero Presser:
  Computability on subsets of metric spaces. 43-76
  
• Thierry Coquand, Guo-Qiang Zhang:
  A representation of stably compact spaces, and patch topology. 77-84
  
• Giovanni Curi:
  Constructive metrisability in point-free topology. 85-109
  
• Antony Galton:
  A generalized topological view of motion in discrete space. 111-134
  
• Keith A. Hardie, S. Salbany, J. J. C. Vermeulen, Peter J. Witbooi:
  A non-Hausdorff quaternion multiplication. 135-158
  
• Reinhold Heckmann:
  A non-topological view of dcpos as convergence spaces. 159-186
  
• Pascal Hitzler, Anthony Karel Seda:
  Generalized metrics and uniquely determined logic programs. 187-219
  
• T. Yung Kong:
  The Khalimsky topologies are precisely those simply connected topologies on Zⁿ whose connected sets include all 2n-connected sets but no (3n-1)-disconnected sets. 221-235
  
• Ralph Kummetz, Dietrich Kuske:
  The topology of Mazurkiewicz traces. 237-258
  
• Jimmie D. Lawson, Bin Lu:
  Riemann and Edalat integration on domains. 259-275
  
• Keye Martin:
  Ideal models of spaces. 277-297
  
• Keye Martin:
  The regular spaces with countably based models. 299-310
  
• Pedro Resende, Steven Vickers:
  Localic sup-lattices and tropological systems. 311-346
  
• Giovanni Sambin:
  Some points in formal topology. 347-408
  
• Michel P. Schellekens:
  A characterization of partial metrizability: domains are quantifiable. 409-432
  
• Peter Schuster:
  Unique existence, approximate solutions, and countable choice. 433-455
  
• Josef Slapal:
  Closure operations for digital topology. 457-471
  
• Luminita Vîta, Douglas S. Bridges:
  A constructive theory of point-set nearness. 473-489
  
• Julian Webster:
  Cell complexes, oriented matroids and digital geometry. 491-502
  

Last update Wed May 22 18:53:31 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page