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
- K. A. Hardie, S. Salbany, J. J. C. Vermeulen, P. 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 Zn 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
Copyright © Fri Mar 12 17:33:11 2010
by Michael Ley (ley@uni-trier.de)
