@ARTICLE{Nor02,
  author = {Normann, Dag},
  title = {Exact real number computations relative to hereditarily total functionals},
  journal = TCS,
  year = {2002},
  volume = {284},
  pages = {437--453},
  number = {2},
  keywords = {bib,cca}
}

{"_id":"daCxqzxArJQBeE3PE","bibbaseid":"normann-exactrealnumbercomputationsrelativetohereditarilytotalfunctionals-2002","authorIDs":[],"author_short":["Normann, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Normann"],"firstnames":["Dag"],"suffixes":[]}],"title":"Exact real number computations relative to hereditarily total functionals","year":"2002","volume":"284","pages":"437–453","number":"2","keywords":"bib,cca","bibtex":"@ARTICLE{Nor02,\r\n author = {Normann, Dag},\r\n title = {Exact real number computations relative to hereditarily total functionals},\r\n journal = TCS,\r\n year = {2002},\r\n volume = {284},\r\n pages = {437--453},\r\n number = {2},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Normann, D."],"key":"Nor02","id":"Nor02","bibbaseid":"normann-exactrealnumbercomputationsrelativetohereditarilytotalfunctionals-2002","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.980Z","downloads":0,"keywords":["bib","cca"],"search_terms":["exact","real","number","computations","relative","hereditarily","total","functionals","normann"],"title":"Exact real number computations relative to hereditarily total functionals","year":2002,"dataSources":["t7rKiAbxugj4Agz8M"]}