@ARTICLE{CY83,
  author = {Collins, W. and Young, P.},
  title = {Discountinuities of provably correct operators on the provably recursive
	real numbers},
  journal = JSL,
  year = {1983},
  volume = {48},
  pages = {913--920},
  keywords = {bib,cca}
}

{"_id":"eoKR44mzPsko8ePoE","bibbaseid":"collins-young-discountinuitiesofprovablycorrectoperatorsontheprovablyrecursiverealnumbers-1983","authorIDs":[],"author_short":["Collins, W.","Young, P."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Collins"],"firstnames":["W."],"suffixes":[]},{"propositions":[],"lastnames":["Young"],"firstnames":["P."],"suffixes":[]}],"title":"Discountinuities of provably correct operators on the provably recursive real numbers","year":"1983","volume":"48","pages":"913–920","keywords":"bib,cca","bibtex":"@ARTICLE{CY83,\r\n author = {Collins, W. and Young, P.},\r\n title = {Discountinuities of provably correct operators on the provably recursive\r\n\treal numbers},\r\n journal = JSL,\r\n year = {1983},\r\n volume = {48},\r\n pages = {913--920},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Collins, W.","Young, P."],"key":"CY83","id":"CY83","bibbaseid":"collins-young-discountinuitiesofprovablycorrectoperatorsontheprovablyrecursiverealnumbers-1983","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.575Z","downloads":0,"keywords":["bib","cca"],"search_terms":["discountinuities","provably","correct","operators","provably","recursive","real","numbers","collins","young"],"title":"Discountinuities of provably correct operators on the provably recursive real numbers","year":1983,"dataSources":["t7rKiAbxugj4Agz8M"]}