The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Douglas S. Bridges: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  43. A Constructive Study of Landau's Summability Theorem. [Citation Graph (, )][DBLP]


  44. The anti-Specker property, a Heine-Borel property, and uniform continuity. [Citation Graph (, )][DBLP]


  45. Constructive notions of equicontinuity. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002