@INCOLLECTION{AB14,
  author = {Avigad, Jeremy and Brattka, Vasco},
  title = {Computability and analysis: the legacy of {A}lan {T}uring},
  booktitle = {Turing's Legacy: Developments from Turing's Ideas in Logic},
  publisher = {Cambridge University Press},
  year = {2014},
  editor = {Downey, Rod},
  volume = {42},
  series = LNL,
  pages = {1--47},
  address = {Cambridge, UK},
  doi = {10.1017/CBO9781107338579.002},
  file = {AB14.pdf:AB14.pdf:PDF},
  isbn = {9781107043480},
  keywords = {bib, cca, team},
  owner = {Vasco},
  timestamp = {2013.12.01},
  url = {http://dx.doi.org/10.1017/CBO9781107338579.002}
}

{"_id":"uopgqiDPv3gTXtmyT","bibbaseid":"avigad-brattka-computabilityandanalysisthelegacyofalanturing-2014","authorIDs":["5d78fd3ff08401db01000439"],"author_short":["Avigad, J.","Brattka, V."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Avigad"],"firstnames":["Jeremy"],"suffixes":[]},{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]}],"title":"Computability and analysis: the legacy of Alan Turing","booktitle":"Turing's Legacy: Developments from Turing's Ideas in Logic","publisher":"Cambridge University Press","year":"2014","editor":[{"propositions":[],"lastnames":["Downey"],"firstnames":["Rod"],"suffixes":[]}],"volume":"42","pages":"1–47","address":"Cambridge, UK","doi":"10.1017/CBO9781107338579.002","file":"AB14.pdf:AB14.pdf:PDF","isbn":"9781107043480","keywords":"bib, cca, team","owner":"Vasco","timestamp":"2013.12.01","url":"http://dx.doi.org/10.1017/CBO9781107338579.002","bibtex":"@INCOLLECTION{AB14,\r\n author = {Avigad, Jeremy and Brattka, Vasco},\r\n title = {Computability and analysis: the legacy of {A}lan {T}uring},\r\n booktitle = {Turing's Legacy: Developments from Turing's Ideas in Logic},\r\n publisher = {Cambridge University Press},\r\n year = {2014},\r\n editor = {Downey, Rod},\r\n volume = {42},\r\n series = LNL,\r\n pages = {1--47},\r\n address = {Cambridge, UK},\r\n doi = {10.1017/CBO9781107338579.002},\r\n file = {AB14.pdf:AB14.pdf:PDF},\r\n isbn = {9781107043480},\r\n keywords = {bib, cca, team},\r\n owner = {Vasco},\r\n timestamp = {2013.12.01},\r\n url = {http://dx.doi.org/10.1017/CBO9781107338579.002}\r\n}\r\n\r\n","author_short":["Avigad, J.","Brattka, V."],"editor_short":["Downey, R."],"key":"AB14","id":"AB14","bibbaseid":"avigad-brattka-computabilityandanalysisthelegacyofalanturing-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1017/CBO9781107338579.002"},"keyword":["bib","cca","team"],"downloads":0},"bibtype":"incollection","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.287Z","downloads":0,"keywords":["bib","cca","team"],"search_terms":["computability","analysis","legacy","alan","turing","avigad","brattka"],"title":"Computability and analysis: the legacy of Alan Turing","year":2014,"dataSources":["t7rKiAbxugj4Agz8M"]}