From nonstandard analysis to various flavours of computability theory. Sanders, S. In Theory and applications of models of computation, volume 10185, of Lecture Notes in Computer Science, pages 556–570, Cham, 2017. Springer. bibtex @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}
}
Downloads: 0
{"_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","series":"Lecture Notes in Computer Science","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"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"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"]}