%0 Journal Article %1 journals/pacmpl/AtkinsonC20 %A Atkinson, Eric %A Carbin, Michael %D 2020 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA %P 200:1-200:28 %T Programming and reasoning with partial observability. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#AtkinsonC20 %V 4

@article{journals/pacmpl/AtkinsonC20, added-at = {2021-02-17T00:00:00.000+0100}, author = {Atkinson, Eric and Carbin, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2eca0535fdca8b4986a0a5b8c0b3a35a9/dblp}, ee = {https://doi.org/10.1145/3428268}, interhash = {033a63ad14c58e6c64d985206a6a227a}, intrahash = {eca0535fdca8b4986a0a5b8c0b3a35a9}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA}, pages = {200:1-200:28}, timestamp = {2024-04-08T09:54:16.000+0200}, title = {Programming and reasoning with partial observability.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#AtkinsonC20}, volume = 4, year = 2020 }