External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Computability and analysis: the legacy of Alan Turing

Jeremy Avigad, Vasco Brattka. Computability and analysis: the legacy of Alan Turing. In Rod Downey, editor, Turing's Legacy: Developments from Turing's Ideas in Logic. Volume 42 of Lecture Notes in Logic, pages 1-47, Cambridge University Press, 2014. [doi]

Authors

Jeremy Avigad

This author has not been identified. Look up 'Jeremy Avigad' in Google

Vasco Brattka

This author has not been identified. Look up 'Vasco Brattka' in Google
runs on