dblp.uni-trier.dewww.uni-trier.de

Douglas S. Bridges Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
47EEJosef Berger, Douglas S. Bridges: The anti-Specker property, a Heine-Borel property, and uniform continuity. Arch. Math. Log. 46(7-8): 583-592 (2008)
46EEDouglas S. Bridges, Luminita Vîta: Proximal Connectedness. Fundam. Inform. 83(1-2): 25-34 (2008)
45EEDouglas S. Bridges: Product a-frames and proximity. Math. Log. Q. 54(1): 12-26 (2008)
44EEMarian Alexandru Baroni, Douglas S. Bridges: Continuity properties of preference relations. Math. Log. Q. 54(5): 454-459 (2008)
43EEDouglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta: Apartness, compactness and nearness. Theor. Comput. Sci. 405(1-2): 3-10 (2008)
2007
42EEDouglas S. Bridges: Colocatedness and Lebesgue Integrability. CiE 2007: 98-104
41EEDouglas S. Bridges: Constructing local optima on a compact interval. Arch. Math. Log. 46(2): 149-154 (2007)
2006
40EEDouglas S. Bridges, Robin Havea, Peter Schuster: Ideals in constructive Banach algebra theory. J. Complexity 22(6): 729-737 (2006)
39EEDouglas S. Bridges, Luminita Simona Vîta: Pre-apartness structures on spaces of functions. J. Complexity 22(6): 881-893 (2006)
38EEJosef Berger, Douglas S. Bridges: A Bizarre Property Equivalent to the Pi10-Fan Theorem. Logic Journal of the IGPL 14(6): 867-871 (2006)
37EEDouglas S. Bridges, Hannes Diener: A constructive treatment of Urysohn's Lemma in an apartness space. Math. Log. Q. 52(5): 464-469 (2006)
2005
36 Douglas S. Bridges, Robin Havea, Peter Schuster: Ideals in Constructive Banach Algebra Theory. CCA 2005: 65-75
35 Douglas S. Bridges, Luminita Vîta: An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). CCA 2005: 77-89
34 Douglas S. Bridges, Luminita Vîta: Proximal Connectedness. CCA 2005: 91-101
33EEDouglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Compactness in apartness spaces? Spatial Representation 2005
32EEDouglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Strong continuity implies uniform sequential continuity. Arch. Math. Log. 44(7): 887-895 (2005)
31EEDouglas S. Bridges, Luminita Vîta: A General Constructive Proof Technique. Electr. Notes Theor. Comput. Sci. 120: 31-43 (2005)
30EEDouglas S. Bridges: A Weak Constructive Sequential Compactness Property and the Fan Theorem. Logic Journal of the IGPL 13(2): 151-158 (2005)
2004
29EEDouglas S. Bridges: Constructive complements of unions of two closed sets. Math. Log. Q. 50(3): 293-294 (2004)
28EEDouglas S. Bridges: First steps in constructive game theory. Math. Log. Q. 50(4-5): 501-506 (2004)
2003
27 Douglas S. Bridges, Luminita Dediu: Apartness spaces as a framework for constructive topology. Ann. Pure Appl. Logic 119(1-3): 61-83 (2003)
26 Douglas S. Bridges, Luminita Vîta: A proof-technique in uniform space theory. J. Symb. Log. 68(3): 795-802 (2003)
25EELuminita Vîta, Douglas S. Bridges: A constructive theory of point-set nearness. Theor. Comput. Sci. 305(1-3): 473-489 (2003)
2002
24EEDouglas S. Bridges, Hajime Ishihara, Peter Schuster: Compactness and Continuity, Constructively Revisited. CSL 2002: 89-102
23 Douglas S. Bridges: Reality and Virtual Reality in Mathematics. Bulletin of the EATCS 78: 221-230 (2002)
22EEDouglas S. Bridges, Peter Schuster, Luminita Vîta: Apartness, Topology, and Uniformity: a Constructive View. Math. Log. Q. 48(S1): 16-28 (2002)
21EEDouglas S. Bridges, Nicholas Dudley Ward: Kernels of seminorms in constructive analysis. Theor. Comput. Sci. 284(2): 259-267 (2002)
2001
20 Douglas S. Bridges, Ayan Mahalanobis: Bounded Variation Implies Regulated: A Constructive Proof. J. Symb. Log. 66(4): 1695-1700 (2001)
19 Douglas S. Bridges, Ayan Mahalanobis: Increasing, Nondecreasing, and Virtually Continuous Functions. Journal of Automata, Languages and Combinatorics 6(2): 139-144 (2001)
18EEDouglas S. Bridges, Robin Havea: A Constructive Version of the Spectral Mapping Theorem. Math. Log. Q. 47(3): 299-304 (2001)
17EEDouglas S. Bridges, Luminita Vîta: Characterising Near Continuity Constructively. Math. Log. Q. 47(4): 535-538 (2001)
2000
16EEDouglas S. Bridges, Ayan Mahalanobis: Sequential Continuity of Functions in Constructive Analysis. Math. Log. Q. 46(1): 139-143 (2000)
1999
15EELuminita Dediu, Douglas S. Bridges: Constructive Notes on Uniform and Locally Convex Spaces. FCT 1999: 195-203
14 Douglas S. Bridges, Fred Richman, Peter Schuster: Linear Independence without Choice. Ann. Pure Appl. Logic 101(1): 95-10 (1999)
13EEDouglas S. Bridges, Luminita Dediu: Weak Continuity Properties in Constructive Analysis. Logic Journal of the IGPL 7(3): 277-281 (1999)
12 Douglas S. Bridges, Luminita Dediu: Weak-operator Continuity and the Existence Of Adjoints. Math. Log. Q. 45: 203-206 (1999)
11EEDouglas S. Bridges: Constructive Mathematics: A Foundation for Computable Analysis. Theor. Comput. Sci. 219(1-2): 95-109 (1999)
1998
10 Douglas S. Bridges, Ray Mines: Sequentially Continuous Linear Mappings in Constructive Analysis. J. Symb. Log. 63(2): 579-583 (1998)
9 Douglas S. Bridges, Hajime Ishihara: A Definitive Constructive Open Mapping Theorem? Math. Log. Q. 44: 545-552 (1998)
1997
8 Douglas S. Bridges, Luminita Dediu: Paradise lost, or paradise regained?. Bulletin of the EATCS 63: (1997)
7EEDouglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov: Logic in Computer Science. J. UCS 3(11): 1133 (1997)
6EEDouglas S. Bridges, Wang Yuchuan: Constructive Aspects of the Dirichlet Problem. J. UCS 3(11): 1148-1161 (1997)
1994
5 Douglas S. Bridges, Hajime Ishihara: Complements of Intersections in Constructive Mathematics. Math. Log. Q. 40: 35-43 (1994)
4 Douglas S. Bridges, Hajime Ishihara: Absolute Continuity and the Uniqueness of the Constructive Functional Calculus. Math. Log. Q. 40: 519-527 (1994)
3 Douglas S. Bridges, Cristian Calude: On Recursive Bounds for the Exceptional Values in Speed-Up. Theor. Comput. Sci. 132(2): 387-394 (1994)
1993
2 Douglas S. Bridges: Constructive Notions of Strict Convexity. Math. Log. Q. 39: 295-300 (1993)
1 Douglas S. Bridges: Sequential, Pointwise, and Uniform Continuity: A Constructive Note. Math. Log. Q. 39: 55-61 (1993)

Coauthor Index

1Marian Alexandru Baroni [44]
2Josef Berger [38] [47]
3Cristian S. Calude (Cristian Calude) [3] [7]
4Luminita Dediu [8] [12] [13] [15] [27]
5Hannes Diener [37]
6Michael J. Dinneen [7]
7Robin Havea [18] [36] [40]
8Hajime Ishihara [4] [5] [9] [24] [32] [33] [43]
9Bakhadyr Khoussainov [7]
10Ayan Mahalanobis [16] [19] [20]
11Ray Mines [10]
12Fred Richman [14]
13Peter Schuster [14] [22] [24] [32] [33] [36] [40]
14Peter M. Schuster [43]
15Luminita Vîta (Luminita Simona Vîta) [17] [22] [25] [26] [31] [32] [33] [34] [35] [39] [43] [46]
16Nicholas Dudley Ward [21]
17Wang Yuchuan [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)