Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Arno Pauly

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 Matthew de Brecht

> Home > Persons > Arno Pauly

Publications

2020
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/computability/BrechtPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computability/BrechtPS20
Matthew de Brecht, Arno Pauly, Matthias Schröder:
Overt choice. Comput. 9(3-4): 169-191 (2020)
2019
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-05926
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-05926
Matthew de Brecht, Arno Pauly, Matthias Schröder:
Overt choice. CoRR abs/1902.05926 (2019)
2017
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/BrechtP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BrechtP17
Matthew de Brecht, Arno Pauly:
Noetherian Quasi-Polish spaces. CSL 2017: 16:1-16:17
2016
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BrechtP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrechtP16
Matthew de Brecht, Arno Pauly:
Noetherian Quasi-Polish Spaces. CoRR abs/1607.07291 (2016)
2015
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/PaulyB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/PaulyB15
Arno Pauly, Matthew de Brecht:
Descriptive Set Theory in the Category of Represented Spaces. LICS 2015: 438-449
2013
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/PaulyB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PaulyB13
Arno Pauly, Matthew de Brecht:
Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces. CoRR abs/1307.1850 (2013)
2012
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BrattkaBP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BrattkaBP12
Vasco Brattka, Matthew de Brecht, Arno Pauly:
Closed choice and a Uniform Low Basis Theorem. Ann. Pure Appl. Log. 163(8): 986-1008 (2012)
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PaulyB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PaulyB14
Arno Pauly, Matthew de Brecht:
Non-deterministic computation and the Jayne-Rogers Theorem. DCM 2012: 87-96
2010
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BrattkaBP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrattkaBP10
Vasco Brattka, Matthew de Brecht, Arno Pauly:
Closed Choice and a Uniform Low Basis Theorem. CoRR abs/1002.2800 (2010)

a service of

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.