A Constructive Theory of Point-Set Nearness (2001)

Cached

Download Links

by Luminita Vita , Douglas Bridges
Venue:in Proceedings of Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization, Seminar in Dagstuhl, Germany, 4–9 June 2000; Springer Lecture Notes in Computer Science
Citations:3 - 1 self

Documents Related by Co-Citation

413 Vulnerabilities Analysis – Matt Bishop - 1999
56 Constructive Analysis, Grundlehren der math. Wissenschaften 279 – Errett Bishop, Douglas Bridges - 1985
265 Foundations of Constructive Mathematics – M J Beeson - 1985
12 Constructivism in Mathematics: An Introduction (two volumes – A S Troelstra, D van Dalen - 1988
7 Apartness as a relation between subsets – Peter Schuster, Luminit¸a Vît¸ă, Douglas Bridges - 2001
5 Nearness—a better approach to topological continuity and limits – P Cameron, J G Hocking, S A Naimpally - 1973
239 Computable Analysis – K Weihrauch - 2000
22 Constructive mathematics: A foundation for computable analysis – D S Bridges - 1999
8 Proximity spaces,” in Cambridge Tract – S A Naimpally, B D Warrack - 1970