Douglas S. Bridges

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Maarten McKubre-Jordens

> Home > Persons > Douglas S. Bridges

Publications

2016
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/lmcs/BridgesDM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BridgesDM16
Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens:
Z-stability in Constructive Analysis. Log. Methods Comput. Sci. 12(3) (2016)
2013
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/BridgesDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/BridgesDM13
Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens:
Two direct proofs that LLPO implies the detachable fan theorem. Log. J. IGPL 21(5): 830-835 (2013)
[j74]
- view
  - electronic edition @ logicandanalysis.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/jla/BridgesM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jla/BridgesM13
Douglas S. Bridges, Maarten McKubre-Jordens:
Solving the Dirichlet problem constructively. J. Log. Anal. 5 (2013)
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/mlq/BridgesIM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mlq/BridgesIM13
Douglas S. Bridges, Hajime Ishihara, Maarten McKubre-Jordens:
Uniformly convex Banach spaces are reflexive - constructively. Math. Log. Q. 59(4-5): 352-356 (2013)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.