%0 Journal Article %1 journals/corr/abs-1106-3448 %A Krebbers, Robbert %A Spitters, Bas %D 2011 %J Logical Methods in Computer Science %K dblp %N 1 %T Type classes for efficient exact real arithmetic in Coq %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs9.html#abs-1106-3448 %V 9

@article{journals/corr/abs-1106-3448, added-at = {2019-05-14T00:00:00.000+0200}, author = {Krebbers, Robbert and Spitters, Bas}, biburl = {https://www.bibsonomy.org/bibtex/2304eaa75fc4ae65e59b796a54f6453b8/dblp}, ee = {http://arxiv.org/abs/1106.3448}, interhash = {73669fa5f67b6585f7b652bade0ba3f3}, intrahash = {304eaa75fc4ae65e59b796a54f6453b8}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-05-15T11:50:42.000+0200}, title = {Type classes for efficient exact real arithmetic in Coq}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs9.html#abs-1106-3448}, volume = 9, year = 2011 }