@article{Amenta-Peters-Russell/03,
AUTHOR = {Amenta, Nina and Peters, Thomas J. and Russell, Alexander C.},
TITLE = {Computational topology: Ambient isotopic approximation of 2-manifolds},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {3-15},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brattka/03a,
AUTHOR = {Brattka, Vasco},
TITLE = {Recursive quasi-metric spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {17-42},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brattka-Presser/03,
AUTHOR = {Brattka, Vasco and Presser, Gero},
TITLE = {Computability on subsets of metric spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {43-76},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Coquand-Zhang/03,
AUTHOR = {Coquand, Thierry and Zhang, Guo-Qiang},
TITLE = {A representation of stably compact spaces, and patch topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {77-84},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Curi/03,
AUTHOR = {Curi, Giovanni},
TITLE = {Constructive metrisability in point-free topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {85-109},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Galton/03,
AUTHOR = {Galton, Antony},
TITLE = {A generalized topological view of motion in discrete space},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {111-134},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hardie-Salbany-Vermeulen-Witbooi/03,
AUTHOR = {Hardie, K.A. and Salbany, S. and Vermeulen, J.J.C. and Witbooi, P.J.},
TITLE = {A non-Hausdorff quaternion multiplication},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {135-158},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Heckmann/03,
AUTHOR = {Heckmann, Reinhold},
TITLE = {A non-topological view of dcpos as convergence spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {159-186},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hitzler-Seda/03,
AUTHOR = {Hitzler, Pascal and Seda, Anthony Karel},
TITLE = {Generalized metrics and uniquely determined logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {187-219},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kong/03,
AUTHOR = {Kong, T. Yung},
TITLE = {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},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {221-235},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kummetz-Kuske/03,
AUTHOR = {Kummetz, Ralph and Kuske, Dietrich},
TITLE = {The topology of Mazurkiewicz traces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {237-258},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lawson-Lu/03,
AUTHOR = {Lawson, Jimmie D. and Lu, Bin},
TITLE = {Riemann and Edalat integration on domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {259-275},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Martin/03,
AUTHOR = {Martin, Keye},
TITLE = {Ideal models of spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {277-297},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Martin/03a,
AUTHOR = {Martin, Keye},
TITLE = {The regular spaces with countably based models},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {299-310},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Resende-Vickers/03,
AUTHOR = {Resende, Pedro and Vickers, Steven},
TITLE = {Localic sup-lattices and tropological systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {311-346},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sambin/03,
AUTHOR = {Sambin, Giovanni},
TITLE = {Some points in formal topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {347-408},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Schellekens/03,
AUTHOR = {Schellekens, M.P.},
TITLE = {A characterization of partial metrizability: Domains are quantifiable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {409-432},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Schuster/03,
AUTHOR = {Schuster, Peter M.},
TITLE = {Unique existence, approximate solutions, and countable choice},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {433-455},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Slapal/03,
AUTHOR = {{\v{S}}lapal, J.},
TITLE = {Closure operations for digital topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {457-471},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Vita-Bridges/03,
AUTHOR = {V{\^{i}}{\c{t}}{\v{a}}, L.S. and Bridges, D.S.},
TITLE = {A constructive theory of point-set nearness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {473-489},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Webster/03,
AUTHOR = {Webster, Julian},
TITLE = {Cell complexes, oriented matroids and digital geometry},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {491-502},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}