Arno Pauly und Vasco Brattka - Info zur Person

(1 - 5 von 14

)

Vasco Brattka, Stéphane Le Roux, Joseph S. Miller & Arno Pauly,...

philpapers.org

We study the com…tional content of the Brouwer Fixed Point Theorem in the Weihrauch lattice. Connected choice is the operation that finds a point in a...

On the algebraic structure of Weihrauch degreesarxiv.org › cs

arxiv.org

Authors:Vasco Brattka, Arno Pauly · Download PDF. Abstract: We introduce two new operations (compositional products and implication) on Weihrauch degrees, ...

Schloss Dagstuhl : Seminar Calendar

www.dagstuhl.de

Vasco Brattka (Universität der Bundeswehr – München, DE), Damir D. Dzhafarov (University of Connecticut – Storrs, US), Alberto Marcone (University of Udine, IT), Arno Pauly (Swansea University, GB) Top

HTML - Electronic Proceedings in Theoretical Computer ...

cgi.cse.unsw.edu.au

Vasco Brattka, Matthew de Brecht & Arno Pauly (2012): Closed Choice and a Uniform Low Basis Theorem. Annals of Pure and Applied Logic 163(8), pp.

reconstructed bibtex - Electronic Proceedings in Theoretical Computer ...

cgi.cse.unsw.edu.au

... author = "Vasco Brattka and Matthew de Brecht and Arno Pauly", year = "2012", title = "Closed Choice and a Uniform Low Basis Theorem", journal = "Annals of ...

Alle Infos zum Namen "Arno Pauly"

Verwandte Suchanfragen zu Arno Pauly

Christine Gaßner
Eike Neumann
Martin Ziegler

Klaus Weihrauch
Vasco Brattka
Martin Hyland

Person "Pauly" (7)
Vorname "Arno" (7801)
Name "Pauly" (1065)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z