@INPROCEEDINGS{San17a,
  author = {Sanders, Sam},
  title = {From nonstandard analysis to various flavours of computability theory},
  booktitle = {Theory and applications of models of computation},
  year = {2017},
  volume = {10185},
  series = LNCS,
  pages = {556--570},
  address = {Cham},
  publisher = {Springer},
  keywords = {bib, cca},
  mrclass = {03H05 (03B30)},
  mrnumber = {3655521},
  mrreviewer = {Bruno Dinis}
}

{"_id":"BdQHihjXogGvm6iYX","bibbaseid":"sanders-fromnonstandardanalysistovariousflavoursofcomputabilitytheory-2017","authorIDs":[],"author_short":["Sanders, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Sanders"],"firstnames":["Sam"],"suffixes":[]}],"title":"From nonstandard analysis to various flavours of computability theory","booktitle":"Theory and applications of models of computation","year":"2017","volume":"10185","pages":"556–570","address":"Cham","publisher":"Springer","keywords":"bib, cca","mrclass":"03H05 (03B30)","mrnumber":"3655521","mrreviewer":"Bruno Dinis","bibtex":"@INPROCEEDINGS{San17a,\r\n author = {Sanders, Sam},\r\n title = {From nonstandard analysis to various flavours of computability theory},\r\n booktitle = {Theory and applications of models of computation},\r\n year = {2017},\r\n volume = {10185},\r\n series = LNCS,\r\n pages = {556--570},\r\n address = {Cham},\r\n publisher = {Springer},\r\n keywords = {bib, cca},\r\n mrclass = {03H05 (03B30)},\r\n mrnumber = {3655521},\r\n mrreviewer = {Bruno Dinis}\r\n}\r\n\r\n","author_short":["Sanders, S."],"key":"San17a","id":"San17a","bibbaseid":"sanders-fromnonstandardanalysistovariousflavoursofcomputabilitytheory-2017","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.028Z","downloads":0,"keywords":["bib","cca"],"search_terms":["nonstandard","analysis","various","flavours","computability","theory","sanders"],"title":"From nonstandard analysis to various flavours of computability theory","year":2017,"dataSources":["t7rKiAbxugj4Agz8M"]}