Turing meets Schanuel. Macintyre, A. Annals of Pure and Applied Logic, 167(10):901–938, 2016.
Turing meets Schanuel [link]Paper  doi  bibtex   
@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}
}
Downloads: 0