A certified, corecursive implementation of exact real numbers. Ciaffaglione, A. & Di Gianantonio, P. 351(1):39–51, 2006. bibtex @ARTICLE{CG06,
author = {Ciaffaglione, Alberto and Di Gianantonio, Pietro},
title = {A certified, corecursive implementation of exact real numbers},
journal = TCS,
year = {2006},
volume = {351},
pages = {39--51},
number = {1},
file = {CG06.pdf:CG06.pdf:PDF;CG06.pdf:files\\CG06.pdf:PDF},
keywords = {bib,cca}
}
Downloads: 0
{"_id":"6aBims4abJsXKuvsY","bibbaseid":"ciaffaglione-digianantonio-acertifiedcorecursiveimplementationofexactrealnumbers-2006","authorIDs":[],"author_short":["Ciaffaglione, A.","Di Gianantonio, P."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Ciaffaglione"],"firstnames":["Alberto"],"suffixes":[]},{"propositions":[],"lastnames":["Di","Gianantonio"],"firstnames":["Pietro"],"suffixes":[]}],"title":"A certified, corecursive implementation of exact real numbers","year":"2006","volume":"351","pages":"39–51","number":"1","file":"CG06.pdf:CG06.pdf:PDF;CG06.pdf:files\\\\CG06.pdf:PDF","keywords":"bib,cca","bibtex":"@ARTICLE{CG06,\r\n author = {Ciaffaglione, Alberto and Di Gianantonio, Pietro},\r\n title = {A certified, corecursive implementation of exact real numbers},\r\n journal = TCS,\r\n year = {2006},\r\n volume = {351},\r\n pages = {39--51},\r\n number = {1},\r\n file = {CG06.pdf:CG06.pdf:PDF;CG06.pdf:files\\\\CG06.pdf:PDF},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Ciaffaglione, A.","Di Gianantonio, P."],"key":"CG06","id":"CG06","bibbaseid":"ciaffaglione-digianantonio-acertifiedcorecursiveimplementationofexactrealnumbers-2006","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.553Z","downloads":0,"keywords":["bib","cca"],"search_terms":["certified","corecursive","implementation","exact","real","numbers","ciaffaglione","di gianantonio"],"title":"A certified, corecursive implementation of exact real numbers","year":2006,"dataSources":["t7rKiAbxugj4Agz8M"]}