@INPROCEEDINGS{Mue00,
  author = {M{\"u}ller, Norbert Th.},
  title = {The {iRRAM}: Exact Arithmetic in {C}++},
  booktitle = {Computability and Complexity in Analysis},
  year = {2000},
  editor = {Blanck, Jens and Brattka, Vasco and Hertling, Peter and Weihrauch,
	Klaus},
  volume = {272},
  series = {Informatik Berichte},
  pages = {319--350},
  month = sep,
  publisher = {FernUniversit\"at Hagen},
  note = {CCA 2000 Workshop, Swansea, Wales, September 17--19, 2000}
}

{"_id":"jsKzK9Dk3FGbayDBX","bibbaseid":"mller-theirramexactarithmeticinc-2000","authorIDs":[],"author_short":["Müller, N. T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Müller"],"firstnames":["Norbert","Th."],"suffixes":[]}],"title":"The iRRAM: Exact Arithmetic in C++","booktitle":"Computability and Complexity in Analysis","year":"2000","editor":[{"propositions":[],"lastnames":["Blanck"],"firstnames":["Jens"],"suffixes":[]},{"propositions":[],"lastnames":["Brattka"],"firstnames":["Vasco"],"suffixes":[]},{"propositions":[],"lastnames":["Hertling"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Weihrauch"],"firstnames":["Klaus"],"suffixes":[]}],"volume":"272","series":"Informatik Berichte","pages":"319–350","month":"September","publisher":"FernUniversität Hagen","note":"CCA 2000 Workshop, Swansea, Wales, September 17–19, 2000","bibtex":"@INPROCEEDINGS{Mue00,\r\n author = {M{\\\"u}ller, Norbert Th.},\r\n title = {The {iRRAM}: Exact Arithmetic in {C}++},\r\n booktitle = {Computability and Complexity in Analysis},\r\n year = {2000},\r\n editor = {Blanck, Jens and Brattka, Vasco and Hertling, Peter and Weihrauch,\r\n\tKlaus},\r\n volume = {272},\r\n series = {Informatik Berichte},\r\n pages = {319--350},\r\n month = sep,\r\n publisher = {FernUniversit\\\"at Hagen},\r\n note = {CCA 2000 Workshop, Swansea, Wales, September 17--19, 2000}\r\n}\r\n\r\n","author_short":["Müller, N. T."],"editor_short":["Blanck, J.","Brattka, V.","Hertling, P.","Weihrauch, K."],"key":"Mue00","id":"Mue00","bibbaseid":"mller-theirramexactarithmeticinc-2000","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.567Z","downloads":0,"keywords":[],"search_terms":["irram","exact","arithmetic","müller"],"title":"The iRRAM: Exact Arithmetic in C++","year":2000,"dataSources":["t7rKiAbxugj4Agz8M"]}