Douglas S. Bridges

2008
47	EE	Josef Berger, Douglas S. Bridges: The anti-Specker property, a Heine-Borel property, and uniform continuity. Arch. Math. Log. 46(7-8): 583-592 (2008)
46	EE	Douglas S. Bridges, Luminita Vîta: Proximal Connectedness. Fundam. Inform. 83(1-2): 25-34 (2008)
45	EE	Douglas S. Bridges: Product a-frames and proximity. Math. Log. Q. 54(1): 12-26 (2008)
44	EE	Marian Alexandru Baroni, Douglas S. Bridges: Continuity properties of preference relations. Math. Log. Q. 54(5): 454-459 (2008)
43	EE	Douglas S. Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vîta: Apartness, compactness and nearness. Theor. Comput. Sci. 405(1-2): 3-10 (2008)
2007
42	EE	Douglas S. Bridges: Colocatedness and Lebesgue Integrability. CiE 2007: 98-104
41	EE	Douglas S. Bridges: Constructing local optima on a compact interval. Arch. Math. Log. 46(2): 149-154 (2007)
2006
40	EE	Douglas S. Bridges, Robin Havea, Peter Schuster: Ideals in constructive Banach algebra theory. J. Complexity 22(6): 729-737 (2006)
39	EE	Douglas S. Bridges, Luminita Simona Vîta: Pre-apartness structures on spaces of functions. J. Complexity 22(6): 881-893 (2006)
38	EE	Josef Berger, Douglas S. Bridges: A Bizarre Property Equivalent to the Pi10-Fan Theorem. Logic Journal of the IGPL 14(6): 867-871 (2006)
37	EE	Douglas 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
33	EE	Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Compactness in apartness spaces? Spatial Representation 2005
32	EE	Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Strong continuity implies uniform sequential continuity. Arch. Math. Log. 44(7): 887-895 (2005)
31	EE	Douglas S. Bridges, Luminita Vîta: A General Constructive Proof Technique. Electr. Notes Theor. Comput. Sci. 120: 31-43 (2005)
30	EE	Douglas S. Bridges: A Weak Constructive Sequential Compactness Property and the Fan Theorem. Logic Journal of the IGPL 13(2): 151-158 (2005)
2004
29	EE	Douglas S. Bridges: Constructive complements of unions of two closed sets. Math. Log. Q. 50(3): 293-294 (2004)
28	EE	Douglas 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)
25	EE	Luminita Vîta, Douglas S. Bridges: A constructive theory of point-set nearness. Theor. Comput. Sci. 305(1-3): 473-489 (2003)
2002
24	EE	Douglas 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)
22	EE	Douglas S. Bridges, Peter Schuster, Luminita Vîta: Apartness, Topology, and Uniformity: a Constructive View. Math. Log. Q. 48(S1): 16-28 (2002)
21	EE	Douglas 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)
18	EE	Douglas S. Bridges, Robin Havea: A Constructive Version of the Spectral Mapping Theorem. Math. Log. Q. 47(3): 299-304 (2001)
17	EE	Douglas S. Bridges, Luminita Vîta: Characterising Near Continuity Constructively. Math. Log. Q. 47(4): 535-538 (2001)
2000
16	EE	Douglas S. Bridges, Ayan Mahalanobis: Sequential Continuity of Functions in Constructive Analysis. Math. Log. Q. 46(1): 139-143 (2000)
1999
15	EE	Luminita 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)
13	EE	Douglas 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)
11	EE	Douglas 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)
7	EE	Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov: Logic in Computer Science. J. UCS 3(11): 1133 (1997)
6	EE	Douglas 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

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

Colors in the list of coauthors