%0 Conference Paper %1 conf/cie/Solomon16 %A Solomon, Reed %B CiE %D 2016 %E Beckmann, Arnold %E Bienvenu, Laurent %E Jonoska, Natasa %I Springer %K dblp %P 182-191 %T Computable Reductions and Reverse Mathematics. %U http://dblp.uni-trier.de/db/conf/cie/cie2016.html#Solomon16 %V 9709 %@ 978-3-319-40188-1

@inproceedings{conf/cie/Solomon16, added-at = {2017-05-19T00:00:00.000+0200}, author = {Solomon, Reed}, biburl = {https://www.bibsonomy.org/bibtex/21984b6d241ef27dbf35f1ffc7a50d33a/dblp}, booktitle = {CiE}, crossref = {conf/cie/2016}, editor = {Beckmann, Arnold and Bienvenu, Laurent and Jonoska, Natasa}, ee = {https://doi.org/10.1007/978-3-319-40189-8_19}, interhash = {ef9303a7266cafea31f997cb0c9c338a}, intrahash = {1984b6d241ef27dbf35f1ffc7a50d33a}, isbn = {978-3-319-40188-1}, keywords = {dblp}, pages = {182-191}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:08:31.000+0200}, title = {Computable Reductions and Reverse Mathematics.}, url = {http://dblp.uni-trier.de/db/conf/cie/cie2016.html#Solomon16}, volume = 9709, year = 2016 }