@ARTICLE{Mac16,
  author = {Macintyre, Angus},
  title = {Turing meets {S}chanuel},
  journal = {Annals of Pure and Applied Logic},
  year = {2016},
  volume = {167},
  pages = {901--938},
  number = {10},
  doi = {10.1016/j.apal.2015.10.003},
  file = {Mac16.pdf:Mac16.pdf:PDF},
  issn = {0168-0072},
  keywords = {bib, cca},
  mrclass = {03C60 (03C64 03D45 11U09)},
  mrnumber = {3522649},
  mrreviewer = {Ricardo Bianconi},
  url = {https://doi.org/10.1016/j.apal.2015.10.003}
}

{"_id":"kWhbKax6XSyGyCPBh","bibbaseid":"macintyre-turingmeetsschanuel-2016","authorIDs":[],"author_short":["Macintyre, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Macintyre"],"firstnames":["Angus"],"suffixes":[]}],"title":"Turing meets Schanuel","journal":"Annals of Pure and Applied Logic","year":"2016","volume":"167","pages":"901–938","number":"10","doi":"10.1016/j.apal.2015.10.003","file":"Mac16.pdf:Mac16.pdf:PDF","issn":"0168-0072","keywords":"bib, cca","mrclass":"03C60 (03C64 03D45 11U09)","mrnumber":"3522649","mrreviewer":"Ricardo Bianconi","url":"https://doi.org/10.1016/j.apal.2015.10.003","bibtex":"@ARTICLE{Mac16,\r\n author = {Macintyre, Angus},\r\n title = {Turing meets {S}chanuel},\r\n journal = {Annals of Pure and Applied Logic},\r\n year = {2016},\r\n volume = {167},\r\n pages = {901--938},\r\n number = {10},\r\n doi = {10.1016/j.apal.2015.10.003},\r\n file = {Mac16.pdf:Mac16.pdf:PDF},\r\n issn = {0168-0072},\r\n keywords = {bib, cca},\r\n mrclass = {03C60 (03C64 03D45 11U09)},\r\n mrnumber = {3522649},\r\n mrreviewer = {Ricardo Bianconi},\r\n url = {https://doi.org/10.1016/j.apal.2015.10.003}\r\n}\r\n\r\n","author_short":["Macintyre, A."],"key":"Mac16","id":"Mac16","bibbaseid":"macintyre-turingmeetsschanuel-2016","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.apal.2015.10.003"},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.919Z","downloads":0,"keywords":["bib","cca"],"search_terms":["turing","meets","schanuel","macintyre"],"title":"Turing meets Schanuel","year":2016,"dataSources":["t7rKiAbxugj4Agz8M"]}