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
  Electronic Edition (link) BibTeX
• Vasco Brattka:
  Recursive quasi-metric spaces. 17-42
  Electronic Edition (link) BibTeX
• Vasco Brattka, Gero Presser:
  Computability on subsets of metric spaces. 43-76
  Electronic Edition (link) BibTeX
• Thierry Coquand, Guo-Qiang Zhang:
  A representation of stably compact spaces, and patch topology. 77-84
  Electronic Edition (link) BibTeX
• Giovanni Curi:
  Constructive metrisability in point-free topology. 85-109
  Electronic Edition (link) BibTeX
• Antony Galton:
  A generalized topological view of motion in discrete space. 111-134
  Electronic Edition (link) BibTeX
• K. A. Hardie, S. Salbany, J. J. C. Vermeulen, P. J. Witbooi:
  A non-Hausdorff quaternion multiplication. 135-158
  Electronic Edition (link) BibTeX
• Reinhold Heckmann:
  A non-topological view of dcpos as convergence spaces. 159-186
  Electronic Edition (link) BibTeX
• Pascal Hitzler, Anthony Karel Seda:
  Generalized metrics and uniquely determined logic programs. 187-219
  Electronic Edition (link) BibTeX
• 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
  Electronic Edition (link) BibTeX
• Ralph Kummetz, Dietrich Kuske:
  The topology of Mazurkiewicz traces. 237-258
  Electronic Edition (link) BibTeX
• Jimmie D. Lawson, Bin Lu:
  Riemann and Edalat integration on domains. 259-275
  Electronic Edition (link) BibTeX
• Keye Martin:
  Ideal models of spaces. 277-297
  Electronic Edition (link) BibTeX
• Keye Martin:
  The regular spaces with countably based models. 299-310
  Electronic Edition (link) BibTeX
• Pedro Resende, Steven Vickers:
  Localic sup-lattices and tropological systems. 311-346
  Electronic Edition (link) BibTeX
• Giovanni Sambin:
  Some points in formal topology. 347-408
  Electronic Edition (link) BibTeX
• Michel P. Schellekens:
  A characterization of partial metrizability: domains are quantifiable. 409-432
  Electronic Edition (link) BibTeX
• Peter Schuster:
  Unique existence, approximate solutions, and countable choice. 433-455
  Electronic Edition (link) BibTeX
• Josef Slapal:
  Closure operations for digital topology. 457-471
  Electronic Edition (link) BibTeX
• Luminita Vîta, Douglas S. Bridges:
  A constructive theory of point-set nearness. 473-489
  Electronic Edition (link) BibTeX
• Julian Webster:
  Cell complexes, oriented matroids and digital geometry. 491-502
  Electronic Edition (link) BibTeX