The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2003, volume: 305, number: 1-3

  1. Nina Amenta, Thomas J. Peters, Alexander Russell
    Computational topology: ambient isotopic approximation of 2-manifolds. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:3-15 [Journal]
  2. Vasco Brattka
    Recursive quasi-metric spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:17-42 [Journal]
  3. Vasco Brattka, Gero Presser
    Computability on subsets of metric spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:43-76 [Journal]
  4. Thierry Coquand, Guo-Qiang Zhang
    A representation of stably compact spaces, and patch topology. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:77-84 [Journal]
  5. Giovanni Curi
    Constructive metrisability in point-free topology. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:85-109 [Journal]
  6. Antony Galton
    A generalized topological view of motion in discrete space. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:111-134 [Journal]
  7. K. A. Hardie, S. Salbany, J. J. C. Vermeulen, P. J. Witbooi
    A non-Hausdorff quaternion multiplication. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:135-158 [Journal]
  8. Reinhold Heckmann
    A non-topological view of dcpos as convergence spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:159-186 [Journal]
  9. Pascal Hitzler, Anthony Karel Seda
    Generalized metrics and uniquely determined logic programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:187-219 [Journal]
  10. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:221-235 [Journal]
  11. Ralph Kummetz, Dietrich Kuske
    The topology of Mazurkiewicz traces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:237-258 [Journal]
  12. Jimmie D. Lawson, Bin Lu
    Riemann and Edalat integration on domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:259-275 [Journal]
  13. Keye Martin
    Ideal models of spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:277-297 [Journal]
  14. Keye Martin
    The regular spaces with countably based models. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:299-310 [Journal]
  15. Pedro Resende, Steven Vickers
    Localic sup-lattices and tropological systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:311-346 [Journal]
  16. Giovanni Sambin
    Some points in formal topology. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:347-408 [Journal]
  17. Michel P. Schellekens
    A characterization of partial metrizability: domains are quantifiable. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:409-432 [Journal]
  18. Peter Schuster
    Unique existence, approximate solutions, and countable choice. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:433-455 [Journal]
  19. Josef Slapal
    Closure operations for digital topology. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:457-471 [Journal]
  20. Luminita Vîta, Douglas S. Bridges
    A constructive theory of point-set nearness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:473-489 [Journal]
  21. Julian Webster
    Cell complexes, oriented matroids and digital geometry. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:305, n:1-3, pp:491-502 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002