%0 Conference Paper %1 conf/lics/ShermanSCC18 %A Sherman, Benjamin %A Sciarappa, Luke %A Chlipala, Adam %A Carbin, Michael %B LICS %D 2018 %E Dawar, Anuj %E Grädel, Erich %I ACM %K dblp %P 859-868 %T Computable decision making on the reals and other spaces: via partiality and nondeterminism. %U http://dblp.uni-trier.de/db/conf/lics/lics2018.html#ShermanSCC18

@inproceedings{conf/lics/ShermanSCC18, added-at = {2018-11-21T00:00:00.000+0100}, author = {Sherman, Benjamin and Sciarappa, Luke and Chlipala, Adam and Carbin, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/222b9cf50d4f0cfecfaaac132f2e7486e/dblp}, booktitle = {LICS}, crossref = {conf/lics/2018}, editor = {Dawar, Anuj and Grädel, Erich}, ee = {https://doi.org/10.1145/3209108.3209193}, interhash = {b89084f4259afb3695c500ccc625b9fe}, intrahash = {22b9cf50d4f0cfecfaaac132f2e7486e}, keywords = {dblp}, pages = {859-868}, publisher = {ACM}, timestamp = {2019-09-27T13:49:33.000+0200}, title = {Computable decision making on the reals and other spaces: via partiality and nondeterminism.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2018.html#ShermanSCC18}, year = 2018 }