Models of computation for partial functions on the reals. Fu, M. Q. & Zucker, J. J. Log. Algebr. Methods Program., 84(2):218–237, 2015. Paper doi bibtex @ARTICLE{FZ15,
author = {Fu, Ming Quan and Zucker, Jeffery},
title = {Models of computation for partial functions on the reals},
journal = {J. Log. Algebr. Methods Program.},
year = {2015},
volume = {84},
pages = {218--237},
number = {2},
doi = {10.1016/j.jlamp.2014.11.001},
fjournal = {Journal of Logical and Algebraic Methods in Programming},
issn = {2352-2208},
keywords = {bib,cca},
mrclass = {68Q05 (03D45 03D75 68Q65)},
mrnumber = {3310417},
owner = {Vasco},
timestamp = {2015.07.06},
url = {http://dx.doi.org/10.1016/j.jlamp.2014.11.001}
}
Downloads: 0
{"_id":"wRhz6q8zcBL9uQGjd","bibbaseid":"fu-zucker-modelsofcomputationforpartialfunctionsonthereals-2015","authorIDs":[],"author_short":["Fu, M. Q.","Zucker, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Fu"],"firstnames":["Ming","Quan"],"suffixes":[]},{"propositions":[],"lastnames":["Zucker"],"firstnames":["Jeffery"],"suffixes":[]}],"title":"Models of computation for partial functions on the reals","journal":"J. Log. Algebr. Methods Program.","year":"2015","volume":"84","pages":"218–237","number":"2","doi":"10.1016/j.jlamp.2014.11.001","fjournal":"Journal of Logical and Algebraic Methods in Programming","issn":"2352-2208","keywords":"bib,cca","mrclass":"68Q05 (03D45 03D75 68Q65)","mrnumber":"3310417","owner":"Vasco","timestamp":"2015.07.06","url":"http://dx.doi.org/10.1016/j.jlamp.2014.11.001","bibtex":"@ARTICLE{FZ15,\r\n author = {Fu, Ming Quan and Zucker, Jeffery},\r\n title = {Models of computation for partial functions on the reals},\r\n journal = {J. Log. Algebr. Methods Program.},\r\n year = {2015},\r\n volume = {84},\r\n pages = {218--237},\r\n number = {2},\r\n doi = {10.1016/j.jlamp.2014.11.001},\r\n fjournal = {Journal of Logical and Algebraic Methods in Programming},\r\n issn = {2352-2208},\r\n keywords = {bib,cca},\r\n mrclass = {68Q05 (03D45 03D75 68Q65)},\r\n mrnumber = {3310417},\r\n owner = {Vasco},\r\n timestamp = {2015.07.06},\r\n url = {http://dx.doi.org/10.1016/j.jlamp.2014.11.001}\r\n}\r\n\r\n","author_short":["Fu, M. Q.","Zucker, J."],"key":"FZ15","id":"FZ15","bibbaseid":"fu-zucker-modelsofcomputationforpartialfunctionsonthereals-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.jlamp.2014.11.001"},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.665Z","downloads":0,"keywords":["bib","cca"],"search_terms":["models","computation","partial","functions","reals","fu","zucker"],"title":"Models of computation for partial functions on the reals","year":2015,"dataSources":["t7rKiAbxugj4Agz8M"]}