◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

A. Pauly

60 papers hereh-index 211.5k citations110 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author11
  • first author9
  • middle author9
  • last author29

Across the 58 of 60 papers where every author was matched, so the position is known.

fields
  • cs.LO23
  • math.LO17
  • cs.GT11
  • cs.CC3
  • math.GN3
  • cs.LG2

identity via Semantic Scholar / OpenAlex

activity
20092023
most citedClosed Choice and a Uniform Low Basis Theorem

101 citations · 491 across the 53 of their papers we have counts for

collaborators
Showing 2016 · math.LOShow all

1 paper · 2 filters

math.LO2016★ 5 cited

The Vitali Covering Theorem in the Weihrauch Lattice

Vasco Brattka, Guido Gherardi, Rupert Hölzl +1

We study the uniform computational content of the Vitali Covering Theorem for intervals using the tool of Weihrauch reducibility. We show that a more detailed picture emerges than…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.