%0 Conference Paper %1 conf/itp/GamboaC12 %A Gamboa, Ruben %A Cowles, John R. %B ITP %D 2012 %E Beringer, Lennart %E Felty, Amy P. %I Springer %K dblp %P 51-66 %T A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers. %U http://dblp.uni-trier.de/db/conf/itp/itp2012.html#GamboaC12 %V 7406 %@ 978-3-642-32346-1

@inproceedings{conf/itp/GamboaC12, added-at = {2017-05-21T00:00:00.000+0200}, author = {Gamboa, Ruben and Cowles, John R.}, biburl = {https://www.bibsonomy.org/bibtex/2db05f76b87c3ed1f242432c0cd240205/dblp}, booktitle = {ITP}, crossref = {conf/itp/2012}, editor = {Beringer, Lennart and Felty, Amy P.}, ee = {https://doi.org/10.1007/978-3-642-32347-8_5}, interhash = {b3aa4165f064efd76be1acec7cc0eeab}, intrahash = {db05f76b87c3ed1f242432c0cd240205}, isbn = {978-3-642-32346-1}, keywords = {dblp}, pages = {51-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:14:09.000+0200}, title = {A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2012.html#GamboaC12}, volume = 7406, year = 2012 }