Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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}
}
a service of 
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.
retrieved on 2024-05-25 18:58 CEST from data curated 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:
