{"_id":"QrEs7tQy4b6tCRJmm","bibbaseid":"miyamoto-schwichtenberg-programextractioninexactrealarithmetic-2015","authorIDs":[],"author_short":["Miyamoto, K.","Schwichtenberg, H."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Miyamoto"],"firstnames":["Kenji"],"suffixes":[]},{"propositions":[],"lastnames":["Schwichtenberg"],"firstnames":["Helmut"],"suffixes":[]}],"title":"Program extraction in exact real arithmetic","journal":"Mathematical Structures in Computer Science","year":"2015","volume":"25","pages":"1692–1704","month":"12","doi":"10.1017/S0960129513000327","file":"MS15.pdf:MS15.pdf:PDF","issn":"1469-8072","issue":"Special Issue 08","keywords":"bib,cca","numpages":"13","owner":"Vasco","timestamp":"2015.11.18","url":"http://journals.cambridge.org/article_S0960129513000327","bibtex":"@ARTICLE{MS15,\r\n author = {Miyamoto, Kenji and Schwichtenberg, Helmut},\r\n title = {Program extraction in exact real arithmetic},\r\n journal = {Mathematical Structures in Computer Science},\r\n year = {2015},\r\n volume = {25},\r\n pages = {1692--1704},\r\n month = {12},\r\n doi = {10.1017/S0960129513000327},\r\n file = {MS15.pdf:MS15.pdf:PDF},\r\n issn = {1469-8072},\r\n issue = {Special Issue 08},\r\n keywords = {bib,cca},\r\n numpages = {13},\r\n owner = {Vasco},\r\n timestamp = {2015.11.18},\r\n url = {http://journals.cambridge.org/article_S0960129513000327}\r\n}\r\n\r\n","author_short":["Miyamoto, K.","Schwichtenberg, H."],"key":"MS15","id":"MS15","bibbaseid":"miyamoto-schwichtenberg-programextractioninexactrealarithmetic-2015","role":"author","urls":{"Paper":"http://journals.cambridge.org/article_S0960129513000327"},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.946Z","downloads":0,"keywords":["bib","cca"],"search_terms":["program","extraction","exact","real","arithmetic","miyamoto","schwichtenberg"],"title":"Program extraction in exact real arithmetic","year":2015,"dataSources":["t7rKiAbxugj4Agz8M"]}