default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-02 23:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
