Inproceedings,
A Logic to Reason about Likelihood
J. Halpern, and M. Rabin.STOC, page 310-319. ACM, (1983)
Meta data
- BibTeX key
- conf/stoc/HalpernR83
- entry type
- inproceedings
- booktitle
- STOC
- year
- 1983
- pages
- 310-319
- publisher
- ACM
- crossref
- conf/stoc/STOC15
- ee
- https://doi.org/10.1145/800061.808760
- url
- http://dblp.uni-trier.de/db/conf/stoc/stoc83.html#HalpernR83
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/stoc/HalpernR83
%A Halpern, Joseph Y.
%A Rabin, Michael O.
%B STOC
%D 1983
%E Johnson, David S.
%E Fagin, Ronald
%E Fredman, Michael L.
%E Harel, David
%E Karp, Richard M.
%E Lynch, Nancy A.
%E Papadimitriou, Christos H.
%E Rivest, Ronald L.
%E Ruzzo, Walter L.
%E Seiferas, Joel I.
%I ACM
%K dblp
%P 310-319
%T A Logic to Reason about Likelihood
%U http://dblp.uni-trier.de/db/conf/stoc/stoc83.html#HalpernR83
@inproceedings{conf/stoc/HalpernR83,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Halpern, Joseph Y. and Rabin, Michael O.},
biburl = {https://www.bibsonomy.org/bibtex/23e23eb33a79570793f8397417e858dec/dblp},
booktitle = {STOC},
crossref = {conf/stoc/STOC15},
editor = {Johnson, David S. and Fagin, Ronald and Fredman, Michael L. and Harel, David and Karp, Richard M. and Lynch, Nancy A. and Papadimitriou, Christos H. and Rivest, Ronald L. and Ruzzo, Walter L. and Seiferas, Joel I.},
ee = {https://doi.org/10.1145/800061.808760},
interhash = {24b83a7a12b9c9255026863dfe4f3943},
intrahash = {3e23eb33a79570793f8397417e858dec},
keywords = {dblp},
pages = {310-319},
publisher = {ACM},
timestamp = {2018-11-07T14:44:02.000+0100},
title = {A Logic to Reason about Likelihood},
url = {http://dblp.uni-trier.de/db/conf/stoc/stoc83.html#HalpernR83},
year = 1983
}