Search dblp for Publications

export results for "toc:db/journals/tcs/tcs305.bht:"

 download as .bib file

@article{DBLP:journals/tcs/AmentaPR03,
  author       = {Nina Amenta and
                  Thomas J. Peters and
                  Alexander Russell},
  title        = {Computational topology: ambient isotopic approximation of 2-manifolds},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {3--15},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00691-6},
  doi          = {10.1016/S0304-3975(02)00691-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AmentaPR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Brattka03,
  author       = {Vasco Brattka},
  title        = {Recursive quasi-metric spaces},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {17--42},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00692-8},
  doi          = {10.1016/S0304-3975(02)00692-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Brattka03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BrattkaP03,
  author       = {Vasco Brattka and
                  Gero Presser},
  title        = {Computability on subsets of metric spaces},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {43--76},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00693-X},
  doi          = {10.1016/S0304-3975(02)00693-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BrattkaP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CoquandZ03,
  author       = {Thierry Coquand and
                  Guo{-}Qiang Zhang},
  title        = {A representation of stably compact spaces, and patch topology},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {77--84},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00695-3},
  doi          = {10.1016/S0304-3975(02)00695-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CoquandZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Curi03,
  author       = {Giovanni Curi},
  title        = {Constructive metrisability in point-free topology},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {85--109},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00699-0},
  doi          = {10.1016/S0304-3975(02)00699-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Curi03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Galton03,
  author       = {Antony Galton},
  title        = {A generalized topological view of motion in discrete space},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {111--134},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00701-6},
  doi          = {10.1016/S0304-3975(02)00701-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Galton03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HardieSVW03,
  author       = {Keith A. Hardie and
                  S. Salbany and
                  J. J. C. Vermeulen and
                  Peter J. Witbooi},
  title        = {A non-Hausdorff quaternion multiplication},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {135--158},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00703-X},
  doi          = {10.1016/S0304-3975(02)00703-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HardieSVW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Heckmann03,
  author       = {Reinhold Heckmann},
  title        = {A non-topological view of dcpos as convergence spaces},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {159--186},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00706-5},
  doi          = {10.1016/S0304-3975(02)00706-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Heckmann03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HitzlerS03,
  author       = {Pascal Hitzler and
                  Anthony Karel Seda},
  title        = {Generalized metrics and uniquely determined logic programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {187--219},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00709-0},
  doi          = {10.1016/S0304-3975(02)00709-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HitzlerS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kong03,
  author       = {T. Yung Kong},
  title        = {The Khalimsky topologies are precisely those simply connected topologies
                  on Z\({}^{\mbox{n}}\) whose connected sets include all 2n-connected
                  sets but no (3n-1)-disconnected sets},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {221--235},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00710-7},
  doi          = {10.1016/S0304-3975(02)00710-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kong03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KummetzK03,
  author       = {Ralph Kummetz and
                  Dietrich Kuske},
  title        = {The topology of Mazurkiewicz traces},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {237--258},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00694-1},
  doi          = {10.1016/S0304-3975(02)00694-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KummetzK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LawsonL03,
  author       = {Jimmie D. Lawson and
                  Bin Lu},
  title        = {Riemann and Edalat integration on domains},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {259--275},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00696-5},
  doi          = {10.1016/S0304-3975(02)00696-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LawsonL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Martin03,
  author       = {Keye Martin},
  title        = {Ideal models of spaces},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {277--297},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00698-9},
  doi          = {10.1016/S0304-3975(02)00698-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Martin03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Martin03a,
  author       = {Keye Martin},
  title        = {The regular spaces with countably based models},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {299--310},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00700-4},
  doi          = {10.1016/S0304-3975(02)00700-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Martin03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ResendeV03,
  author       = {Pedro Resende and
                  Steven Vickers},
  title        = {Localic sup-lattices and tropological systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {311--346},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00702-8},
  doi          = {10.1016/S0304-3975(02)00702-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ResendeV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Sambin03,
  author       = {Giovanni Sambin},
  title        = {Some points in formal topology},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {347--408},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00704-1},
  doi          = {10.1016/S0304-3975(02)00704-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sambin03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Schellekens03,
  author       = {Michel P. Schellekens},
  title        = {A characterization of partial metrizability: domains are quantifiable},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {409--432},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00705-3},
  doi          = {10.1016/S0304-3975(02)00705-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Schellekens03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Schuster03,
  author       = {Peter Schuster},
  title        = {Unique existence, approximate solutions, and countable choice},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {433--455},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00707-7},
  doi          = {10.1016/S0304-3975(02)00707-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Schuster03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Slapal03,
  author       = {Josef Slapal},
  title        = {Closure operations for digital topology},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {457--471},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00708-9},
  doi          = {10.1016/S0304-3975(02)00708-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Slapal03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/VitaB03,
  author       = {Luminita V{\^{\i}}ta and
                  Douglas S. Bridges},
  title        = {A constructive theory of point-set nearness},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {473--489},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00711-9},
  doi          = {10.1016/S0304-3975(02)00711-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/VitaB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Webster03,
  author       = {Julian Webster},
  title        = {Cell complexes, oriented matroids and digital geometry},
  journal      = {Theor. Comput. Sci.},
  volume       = {305},
  number       = {1-3},
  pages        = {491--502},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00712-0},
  doi          = {10.1016/S0304-3975(02)00712-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Webster03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.