Douglas S. Bridges

	2012
68		Douglas S. Bridges, Luminita Vîta: Constructing the Infimum of Two Projections. Computation, Physics and Beyond 2012: 46-58
67		Douglas S. Bridges: Reflections on function spaces. Ann. Pure Appl. Logic 163(2): 101-110 (2012)
66		Douglas S. Bridges: Almost new pre-apartness from old. Ann. Pure Appl. Logic 163(8): 1009-1015 (2012)
65		Josef Berger, Douglas S. Bridges, Erik Palmgren: Double sequences, almost Cauchyness and BD-N. Logic Journal of the IGPL 20(1): 349-354 (2012)
	2011
64		Douglas S. Bridges: The anti-Specker property, uniform sequential continuity, and a countable compactness property. Logic Journal of the IGPL 19(1): 174-182 (2011)
63		Douglas S. Bridges: Omniscience, sequential compactness, and the anti-Specker property. Logic Journal of the IGPL 19(1): 53-61 (2011)
	2010
62		Douglas S. Bridges, Iris Loeb: Glueing continuous functions constructively. Arch. Math. Log. 49(5): 603-616 (2010)
61		Douglas S. Bridges: Continuity and Lipschitz constants for projections. J. Log. Algebr. Program. 79(1): 2-9 (2010)
60		Douglas S. Bridges, Matthew Hendtlass: Continuous isomorphisms from R onto a complete abelian group. J. Symb. Log. 75(3): 930-944 (2010)
59		Josef Berger, Douglas S. Bridges: A Constructive Study of Landau's Summability Theorem. J. UCS 16(18): 2523-2534 (2010)
58		Douglas S. Bridges, Matthew Hendtlass: Continuous homomorphisms of R onto a compact group. Math. Log. Q. 56(2): 191-197 (2010)
57		Douglas S. Bridges, Hannes Diener: The anti-Specker property, positivity, and total boundedness. Math. Log. Q. 56(4): 434-441 (2010)
	2009
56		Josef Berger, Douglas S. Bridges: A Constructive Study of Landau's Summability Theorem. CCA 2009
55		Douglas S. Bridges: Constructive notions of equicontinuity. Arch. Math. Log. 48(5): 437-448 (2009)
54		Josef Berger, Douglas S. Bridges: Rearranging Series Constructively. J. UCS 15(17): 3160-3168 (2009)
	2008
53		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)
52		Marian Alexandru Baroni, Douglas S. Bridges: Continuity Properties of Preference Relations. Electr. Notes Theor. Comput. Sci. 202: 19-25 (2008)
51		Douglas S. Bridges, Luminita Vîta: Proximal Connectedness. Fundam. Inform. 83(1-2): 25-34 (2008)
50		Douglas S. Bridges, Robin Havea: Constructive Notions of Maximality for Ideals. J. UCS 14(22): 3648-3657 (2008)
49		Douglas S. Bridges: Product a-frames and proximity. Math. Log. Q. 54(1): 12-26 (2008)
48		Marian Alexandru Baroni, Douglas S. Bridges: Continuity properties of preference relations. Math. Log. Q. 54(5): 454-459 (2008)
47		Douglas S. Bridges: Uniform Continuity Properties of Preference Relations. Notre Dame Journal of Formal Logic 49(1): 97-106 (2008)
46		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
45		Douglas S. Bridges: Colocatedness and Lebesgue Integrability. CiE 2007: 98-104
44		Douglas S. Bridges: Constructing local optima on a compact interval. Arch. Math. Log. 46(2): 149-154 (2007)
43		Douglas S. Bridges, Hannes Diener: The pseudocompactness of [0, 1] is equivalent to the uniform continuity theorem. J. Symb. Log. 72(4): 1379-1384 (2007)
	2006
42		Douglas S. Bridges, Robin Havea, Peter Schuster: Ideals in constructive Banach algebra theory. J. Complexity 22(6): 729-737 (2006)
41		Douglas S. Bridges, Luminita Simona Vîta: Pre-apartness structures on spaces of functions. J. Complexity 22(6): 881-893 (2006)
40		Josef Berger, Douglas S. Bridges, Peter Schuster: The fan theorem and unique existence of maxima. J. Symb. Log. 71(2): 713-720 (2006)
39		Josef Berger, Douglas S. Bridges: A Bizarre Property Equivalent to the Pi10-Fan Theorem. Logic Journal of the IGPL 14(6): 867-871 (2006)
38		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
37		Douglas S. Bridges, Robin Havea, Peter Schuster: Ideals in Constructive Banach Algebra Theory. CCA 2005: 65-75
36		Douglas S. Bridges, Luminita Vîta: An Extension Theorem for Ultraweakly Continuous Linear Functionals on B(X, Y). CCA 2005: 77-89
35		Douglas S. Bridges, Luminita Vîta: Proximal Connectedness. CCA 2005: 91-101
34		Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Compactness in apartness spaces? Spatial Representation 2005
33		Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta: Strong continuity implies uniform sequential continuity. Arch. Math. Log. 44(7): 887-895 (2005)
32		Douglas S. Bridges, Luminita Vîta: A General Constructive Proof Technique. Electr. Notes Theor. Comput. Sci. 120: 31-43 (2005)
31		Douglas S. Bridges: A Weak Constructive Sequential Compactness Property and the Fan Theorem. Logic Journal of the IGPL 13(2): 151-158 (2005)
	2004
30		Douglas S. Bridges, Luminita Vîta: Corrigendum to "A proof - technique in uniform space theory". J. Symb. Log. 69(1): 328 (2004)
29		Douglas S. Bridges: Constructive complements of unions of two closed sets. Math. Log. Q. 50(3): 293-294 (2004)
28		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		Luminita Vîta, Douglas S. Bridges: A constructive theory of point-set nearness. Theor. Comput. Sci. 305(1-3): 473-489 (2003)
	2002
24		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		Douglas S. Bridges, Peter Schuster, Luminita Vîta: Apartness, Topology, and Uniformity: a Constructive View. Math. Log. Q. 48(S1): 16-28 (2002)
21		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		Douglas S. Bridges, Robin Havea: A Constructive Version of the Spectral Mapping Theorem. Math. Log. Q. 47(3): 299-304 (2001)
17		Douglas S. Bridges, Luminita Vîta: Characterising Near Continuity Constructively. Math. Log. Q. 47(4): 535-538 (2001)
	2000
16		Douglas S. Bridges, Ayan Mahalanobis: Sequential Continuity of Functions in Constructive Analysis. Math. Log. Q. 46(1): 139-143 (2000)
	1999
15		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		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		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		Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov: Logic in Computer Science. J. UCS 3(11): 1133 (1997)
6		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	[48] [52]
2	Josef Berger	[39] [40] [53] [54] [56] [59] [65]
3	Cristian S. Calude (Cristian Calude)	[3] [7]
4	Luminita Dediu	[8] [12] [13] [15] [27]
5	Hannes Diener	[38] [43] [57]
6	Michael J. Dinneen	[7]
7	Robin Havea	[18] [37] [42] [50]
8	Matthew Hendtlass	[58] [60]
9	Hajime Ishihara	[4] [5] [9] [24] [33] [34] [46]
10	Bakhadyr Khoussainov	[7]
11	Iris Loeb	[62]
12	Ayan Mahalanobis	[16] [19] [20]
13	Ray Mines	[10]
14	Erik Palmgren	[65]
15	Fred Richman	[14]
16	Peter Schuster (Peter M. Schuster)	[14] [22] [24] [33] [34] [37] [40] [42] [46]
17	Luminita Vîta (Luminita Simona Vîta)	[17] [22] [25] [26] [30] [32] [33] [34] [35] [36] [41] [46] [51] [68]
18	Nicholas Dudley Ward	[21]
19	Wang Yuchuan	[6]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page