Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=305
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computational topology: Ambient isotopic approximation of 2-manifolds
Nina Amenta
,
Thomas J. Peters
,
Alexander C. Russell
Theoretical Computer Science
305
(1-3), 2003, pp. 3-15
Recursive quasi-metric spaces
Vasco Brattka
Theoretical Computer Science
305
(1-3), 2003, pp. 17-42
Computability on subsets of metric spaces
Vasco Brattka
,
Gero Presser
Theoretical Computer Science
305
(1-3), 2003, pp. 43-76
A representation of stably compact spaces, and patch topology
Thierry Coquand
,
Guo-Qiang Zhang
Theoretical Computer Science
305
(1-3), 2003, pp. 77-84
Constructive metrisability in point-free topology
Giovanni Curi
Theoretical Computer Science
305
(1-3), 2003, pp. 85-109
A generalized topological view of motion in discrete space
Antony Galton
Theoretical Computer Science
305
(1-3), 2003, pp. 111-134
A non-Hausdorff quaternion multiplication
K.A. Hardie
,
S. Salbany
,
J.J.C. Vermeulen
,
P.J. Witbooi
Theoretical Computer Science
305
(1-3), 2003, pp. 135-158
A non-topological view of dcpos as convergence spaces
Reinhold Heckmann
Theoretical Computer Science
305
(1-3), 2003, pp. 159-186
Generalized metrics and uniquely determined logic programs
Pascal Hitzler
,
Anthony Karel Seda
Theoretical Computer Science
305
(1-3), 2003, pp. 187-219
The Khalimsky topologies are precisely those simply connected topologies on
Z^n
whose connected sets include all 2nd-connected sets but no
(3^n - 1)
-disconnected sets
T. Yung Kong
Theoretical Computer Science
305
(1-3), 2003, pp. 221-235
The topology of Mazurkiewicz traces
Ralph Kummetz
,
Dietrich Kuske
Theoretical Computer Science
305
(1-3), 2003, pp. 237-258
Riemann and Edalat integration on domains
Jimmie D. Lawson
,
Bin Lu
Theoretical Computer Science
305
(1-3), 2003, pp. 259-275
Ideal models of spaces
Keye Martin
Theoretical Computer Science
305
(1-3), 2003, pp. 277-297
The regular spaces with countably based models
Keye Martin
Theoretical Computer Science
305
(1-3), 2003, pp. 299-310
Localic sup-lattices and tropological systems
Pedro Resende
,
Steven Vickers
Theoretical Computer Science
305
(1-3), 2003, pp. 311-346
Some points in formal topology
Giovanni Sambin
Theoretical Computer Science
305
(1-3), 2003, pp. 347-408
A characterization of partial metrizability: Domains are quantifiable
M.P. Schellekens
Theoretical Computer Science
305
(1-3), 2003, pp. 409-432
Unique existence, approximate solutions, and countable choice
Peter M. Schuster
Theoretical Computer Science
305
(1-3), 2003, pp. 433-455
Closure operations for digital topology
J. S̑lapal
Theoretical Computer Science
305
(1-3), 2003, pp. 457-471
A constructive theory of point-set nearness
L.S. Vîţȃ
,
D.S. Bridges
Theoretical Computer Science
305
(1-3), 2003, pp. 473-489
Cell complexes, oriented matroids and digital geometry
Julian Webster
Theoretical Computer Science
305
(1-3), 2003, pp. 491-502